Theorem NumberField.InfinitePlace.card_eq_nrRealPlaces_add_nrComplexPlaces

Modification history