Theorem NumberField.InfinitePlace.disjoint_isReal_isComplex

Modification history