Theorem Rat.eq_iff_mul_eq_mul

Modification history