Theorem IsFractionRing.mk'_eq_one_iff_eq

Modification history