Theorem AlgebraicClosure.isAlgebraic

Modification history