Theorem AlgebraicClosure.AdjoinMonic.algebraMap

Modification history