Theorem Set.eq_of_preimage_val_eq_of_subset

Modification history

2024-03-03 21:54
Mathlib/Data/Set/Subset.lean
feat(Set): API for subset restriction and coercion to/from subtypes (#9940) …
Added Set.eq_of_preimage_val_eq_of_subsetView on Github →