Theorem Field.primitive_element_iff_algHom_eq_of_eval'

Modification history