Theorem Rat.mkRat_eq_divInt

Modification history