Def Set.accumulate

Modification history

2025-12-14 16:32
Mathlib/Data/Set/Accumulate.lean
chore: lower case `Accumulate` (#32871) …
Added Set.accumulateView on Github →