Theorem Sum.range_eq

Modification history

2024-07-20 07:03

Mathlib/Data/Set/Image.lean

chore(*): use ⊕ notation for `Sum` (#14934)

Modified Sum.range_eq View on Github →

2022-12-12 07:45

Mathlib/Data/Set/Image.lean

feat: Port Data.Set.Image (#949) …

Added Sum.range_eq View on Github →