Theorem IsAlgClosure.ofAlgebraic

Modification history