Theorem Nat.one_le_pow

Modification history