Mathlib Changelog
v4
Changelog
About
Github
Def
Set.accumulate
Modification history
2025-12-14 16:32
Mathlib/Data/Set/Accumulate.lean
chore: lower case `Accumulate` (#32871) …
Added
Set.accumulate
View on Github →