Theorem NumberField.InfinitePlace.nrRealPlaces_eq_one_of_finrank_eq_one

Modification history