Theorem NumberField.InfinitePlace.prod_eq_prod_mul_prod

Modification history