Theorem FractionRing.isSeparable_of_isLocalization

Modification history