Theorem IsIntegralClosure.isFractionRing_of_finite_extension

Modification history