Theorem Set.accumulate_succ

Modification history

2025-12-12 13:03
Mathlib/Data/Nat/Lattice.lean
feat: show that `Accumulate` and `partialSups` coincide (#32778) …
Modified Set.accumulate_succView on Github →
2025-01-24 07:58
Mathlib/Data/Nat/Lattice.lean
feat(MeasureTheory): additive contents on rings of sets (#20977) …
Added Set.accumulate_succView on Github →