Theorem integralClosure.isFractionRing_of_finite_extension

Modification history