Mathlib Changelog
v4
Changelog
About
Github
Def
maxFoelner
Modification history
2026-02-17 23:08
Mathlib/MeasureTheory/Group/FoelnerFilter.lean
chore: bump toolchain to v4.29.0-rc1 (#35459)
Deleted
maxFoelner
View on Github →
2026-01-13 15:36
Mathlib/MeasureTheory/Group/FoelnerFilter.lean
feat(MeasureTheory): Foelner filters (#31653) …
Added
maxFoelner
View on Github →