Def Nat.ascFactorial

Modification history