Commit 2024-05-08 11:39 ded3fb62
View on Github →Feat: add various result about the norm, relative to ℤ, of ζ - 1. (#11792)
We add various result about the norm, relative to ℤ, of ζ - 1. These results already exist for the norm relative to ℚ.
From the flt3 project at LFTCM2024.
- depends on: #12386