Theorem AlgebraicClosure.le_maxIdeal

Modification history