Theorem Nat.ascFactorial_of_sub

Modification history