Commit 2024-10-24 10:17 a61fcb1b

View on Github →

feat(NumberField/CanonicalEmbedding): prove that idealLattice is a ZLattice (#18130) This PR is part of the proof of the Analytic Class Number Formula.

Estimated changes