Theorem AlgebraicClosureAux.isAlgClosure

Modification history