Theorem NumberField.InfinitePlace.nrRealPlaces_pos_of_odd_finrank

Modification history