Changes between Version 80 and Version 81 of PatternSynonyms


Ignore:
Timestamp:
Dec 13, 2018 4:46:39 AM (8 months ago)
Author:
lightandlight
Comment:

Zero factorial is one

Legend:

Unmodified
Added
Removed
Modified
  • PatternSynonyms

    v80 v81  
    177177
    178178{{{
    179    fac 0 = 0
    180179   fac (Succ n) = Succ n * fac n
     180   fac 0 = 1
    181181}}}
    182182