Theorem Nat.one_lt_two_pow

Modification history