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 →