Theorem Set.exists_image_eq_and_injOn

Modification history

2025-10-23 14:48
Mathlib/Data/Set/Function.lean
style(Data): fix whitespace (#30778) …
Modified Set.exists_image_eq_and_injOnView on Github →
2023-11-10 14:22
Mathlib/Data/Set/Function.lean
feat: two missing injOn lemmas (#8303)
Added Set.exists_image_eq_and_injOnView on Github →