Commit 2024-09-15 07:39 9447d941
View on Github →feat(NumberField/CanonicalEmbedding): define an action of the units on the mixed space (#16762) Define an action of the units on the mixed space of a number field. In a latter PR #12268, we construct a cone in the mixed space that is a fundamental domain for the action of the units modulo torsion. This PR is part of the proof of the Analytic Class Number Formula.