Theorem NumberField.adjoin_eq_top_of_infinitePlace_lt

Modification history