Theorem NumberField.InfinitePlace.mult_coe_ne_zero

Modification history