Theorem Set.elem_mem

Modification history

2025-03-27 07:33
Mathlib/Data/Set/CoeSort.lean
chore: some erw in MvPolynomial/Rename (#23355)
Added Set.elem_memView on Github →