Theorem Set.image_val_inter_self_right_eq_coe

Modification history

2026-10-31 04:12
Mathlib/Data/Set/Subset.lean
feat: use `max`/`min` for `union`/`inter` in `Set`, `Finset`, `ZFSet`, `Class` (#42316) …
Modified Set.image_val_inter_self_right_eq_coeView on Github →
2024-10-25 20:58
Mathlib/Data/Set/Subset.lean
chore: fix name "Set.cou_inter_self_right_eq_coe" (#18222) …
Added Set.image_val_inter_self_right_eq_coeView on Github →