Theorem algebraicClosure.algebraicClosure_eq_bot

Modification history