Theorem Set.range_eq_singleton_iff

Modification history

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