Theorem Set.EqOn.image_eq_self

Modification history

2025-08-01 01:40
Mathlib/Data/Set/Function.lean
feat: start using `grind` in `Set` API (#27670) …
Modified Set.EqOn.image_eq_selfView on Github →
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 →