Theorem Field.primitive_element_iff_minpoly_degree_eq

Modification history