Theorem FractionRing.mk_eq_div

Modification history