Theorem ValuationRing.isFractionRing_iff

Modification history