Def algebraic_closure.to_adjoin_monic

Modification history