Theorem Algebra.IsAlgebraic.of_isIntegralClosure

Modification history