Theorem Polynomial.Splits.mem_subfield_of_isRoot

Modification history