Theorem AlgebraicClosureAux.ofStep_succ

Modification history