Theorem one_lt_iff_ne_one

Modification history