Theorem Set.cou_inter_self_right_eq_coe

Modification history

2024-10-25 20:58
Mathlib/Data/Set/Subset.lean
chore: fix name "Set.cou_inter_self_right_eq_coe" (#18222) …
Deleted Set.cou_inter_self_right_eq_coeView 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.cou_inter_self_right_eq_coeView on Github →