Theorem NumberField.InfinitePlace.mult_isComplex

Modification history