Theorem Rat.lt_toNNRat_iff_coe_lt

Modification history