Def Nat.factorial

Modification history