Theorem IsFractionRing.mk'_mk_eq_div

Modification history