Theorem one_lt_mul_self_iff

Modification history