Theorem NumberField.InfinitePlace.ne_of_isReal_isComplex

Modification history