Theorem NumberField.is_primitive_element_of_infinitePlace_lt

Modification history