Theorem NumberField.InfinitePlace.mult_comap_le

Modification history