Theorem Set.accumulate_subset_accumulate

Modification history

2024-05-17 06:05
Mathlib/Data/Set/Accumulate.lean
chore(*): golf, mostly using `gcongr` (#12944) …
Added Set.accumulate_subset_accumulateView on Github →