Def AlgebraicClosure.AdjoinMonic

Modification history