Theorem measurableSet_frontier

Modification history

2025-05-07 16:46
Mathlib/MeasureTheory/Constructions/BorelSpace/Basic.lean
feat(NumberField/Ideal): asymptotics for the number of integral ideals of bounded norm (#22866) …
Added measurableSet_frontierView on Github →