Theorem Rat.mul_eq_mkRat

Modification history