Theorem Nat.pow_lt_ascFactorial'

Modification history