Theorem AlgebraicClosureAux.isAlgebraic

Modification history