Theorem NumberField.InfinitePlace.isUnramified_iff_mult_le

Modification history