Theorem NumberField.InfinitePlace.nrComplexPlaces_eq_zero_of_finrank_eq_one

Modification history