Theorem Set.EqOn.image_eq_self

Modification history

2023-11-07 13:32
Mathlib/Data/Set/Function.lean
feat: miscellaneous lemmas about local homeomorphisms (#8062) …
Added Set.EqOn.image_eq_selfView on Github →