Commit 2026-03-14 13:07 9e2e062b

View on Github →

feat(NumberTheory/NumberField/InfiniteAdeleRing): norm and product formula for the infinite adele ring (#36204)

Estimated changes