Theorem Set.exists_subset_bijOn

Modification history

2023-11-10 14:22
Mathlib/Data/Set/Function.lean
feat: two missing injOn lemmas (#8303)
Added Set.exists_subset_bijOnView on Github →