Def Set.Accumulate

Modification history

2025-12-14 16:32

Mathlib/Data/Set/Accumulate.lean

chore: lower case `Accumulate` (#32871) …

Deleted Set.Accumulate View on Github →

2022-12-26 00:09

Mathlib/Data/Set/Accumulate.lean

feat: port Data.Set.Accumulate (#1210) …

Added Set.Accumulate View on Github →