Theorem Set.range_inr

Modification history

2025-07-15 09:22

Mathlib/Data/Set/Image.lean

chore: remove whitespace (#26963) …

Modified Set.range_inr View on Github →

2023-01-31 07:39

Mathlib/Data/Set/Image.lean

Feat: add `Bool.compl_singleton_*` and `Set.range_in{l,r}` (#1955) …

Added Set.range_inr View on Github →