Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.exists_image_eq_injOn_of_subset_range
Modification history
2023-11-10 14:22
Mathlib/Data/Set/Function.lean
feat: two missing injOn lemmas (#8303)
Added
Set.exists_image_eq_injOn_of_subset_range
View on Github →