Theorem NumberField.InfinitePlace.one_le_of_lt_one

Modification history