Theorem Set.right_eq_inter

Modification history

2026-10-31 04:12

Mathlib/Data/Set/Basic.lean

feat: use `max`/`min` for `union`/`inter` in `Set`, `Finset`, `ZFSet`, `Class` (#42316) …

Modified Set.right_eq_inter View on Github →

2024-03-07 06:34

Mathlib/Data/Set/Basic.lean

feat: add simp lemma (#11206) …

Added Set.right_eq_inter View on Github →