Theorem NumberField.InfinitePlace.card_mono

Modification history