Theorem Set.preimage_val_sInter_eq_sInter

Modification history

2024-04-15 06:46
Mathlib/Data/Set/Subset.lean
chore: substitute some `.` with `·` (#12137)
Modified Set.preimage_val_sInter_eq_sInterView on Github →
2024-03-03 21:54
Mathlib/Data/Set/Subset.lean
feat(Set): API for subset restriction and coercion to/from subtypes (#9940) …
Added Set.preimage_val_sInter_eq_sInterView on Github →