Def AlgebraicClosure.toStepZero

Modification history