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.
feat(NumberField/CanonicalEmbedding): prove that idealLattice
is a ZLattice
(#18130)
This PR is part of the proof of the Analytic Class Number Formula.