Theorem Nat.pow_lt_iff_lt_right

Modification history