Def Set.sumEquiv

Modification history

2025-03-03 13:51
Mathlib/Data/Set/Image.lean
chore: move order-related code out of Data.Set.Image (#22496) …
Modified Set.sumEquivView on Github →
2025-02-13 16:03
Mathlib/Data/Set/Image.lean
feat: `HasProd` on sum types (#21683)
Added Set.sumEquivView on Github →