Theorem Set.accumulate_bot

Modification history

2025-02-03 09:44
Mathlib/Data/Set/Accumulate.lean
(sub-)additivity of an addContent on a (semi-)ring of sets (#21036) …
Added Set.accumulate_botView on Github →