Theorem Set.elem_mem

Modification history

2026-02-25 08:52

Mathlib/Data/Set/CoeSort.lean

chore(*): reduce defeq abuse around `Set` (#35752)

Modified Set.elem_mem View on Github →

2025-03-27 07:33

Mathlib/Data/Set/CoeSort.lean

chore: some erw in MvPolynomial/Rename (#23355)

Added Set.elem_mem View on Github →