Theorem Nat.one_le_two_pow

Modification history