Theorem Set.partialSups_eq_accumulate

Modification history

2025-12-12 13:03
Mathlib/Data/Set/Accumulate.lean
feat: show that `Accumulate` and `partialSups` coincide (#32778) …
Added Set.partialSups_eq_accumulateView on Github →