Theorem eq_of_forall_lt_rat_iff_lt

Modification history