Theorem NumberField.InfinitePlace.mult_pos

Modification history