Theorem IsFractionRing.isFractionRing_iff_of_base_ringEquiv

Modification history