Theorem AlgebraicClosure.AdjoinMonic.isIntegral

Modification history