Theorem Set.range_eq_singleton

Modification history

2025-06-09 16:45
Mathlib/Data/Set/Image.lean
fix: Remove lemmas from `Ring/Hom/Basic` (#25447) …
Added Set.range_eq_singletonView on Github →