Theorem Set.accumulate_zero_nat

Modification history

2025-12-14 16:32

Mathlib/Data/Set/Accumulate.lean

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

Modified Set.accumulate_zero_nat View on Github →

2025-01-24 07:58

Mathlib/Data/Set/Accumulate.lean

feat(MeasureTheory): additive contents on rings of sets (#20977) …

Added Set.accumulate_zero_nat View on Github →