Theorem Nat.mul_le_pow

Modification history