Theorem partialSups_add_one_eq_sup_disjointed

Modification history

2025-12-12 13:03
Mathlib/Algebra/Order/Disjointed.lean
feat: show that `Accumulate` and `partialSups` coincide (#32778) …
Added partialSups_add_one_eq_sup_disjointedView on Github →