Theorem AlgebraicClosure.toSplittingField_evalXSelf

Modification history