Theorem NumberField.Ideal.tendsto_norm_le_div_atTop₀

Modification history

2025-05-07 16:46
Mathlib/NumberTheory/NumberField/Ideal.lean
feat(NumberField/Ideal): asymptotics for the number of integral ideals of bounded norm (#22866) …
Added NumberField.Ideal.tendsto_norm_le_div_atTop₀View on Github →