Theorem IsFractionRing.mk'_eq_div

Modification history