Theorem AlgebraicClosureAux.instIsAlgClosed

Modification history