Theorem Nat.lt_pow_self

Modification history