Theorem integralClosure.isFractionRing_of_algebraic

Modification history