Commit 2024-10-31 10:18 cc5fa414

feat(NumberField/FundamentalCone): generalize the bijection to integral ideals (#18248) The norm-preserving bijection between theintegralPoint in the fundamental cone and the integral ideals (times the torsion) is generalized to a bijection between the points of the fundamental cone lying in the image of an integral ideal J and the integral ideals divisible by J (times the torsion). This PR is part of the proof of the Analytic Class Number Formula.