Theorem NumberField.InfinitePlace.card_add_two_mul_card_eq_rank

Modification history