Theorem NumberField.InfinitePlace.mult_isReal

Modification history