Theorem AlgebraicClosureAux.exists_root

Modification history