Theorem AlgebraicClosure.spanEval_ne_top

Modification history