Commit 2025-03-10 09:18 e1a832e4
View on Github →chore(NumberField/Units/DirichletTheorem): add logSpace (#22590)
Rename logSpace K the space {w : InfinitePlace K // w ≠ w₀} → ℝ.
This is in order to make the explanation of the proof of the Analytic Class Number Formula easier to follow.