Theorem SetLike.setOf_mem_eq

Modification history

2024-11-04 02:26
Mathlib/Data/SetLike/Basic.lean
feat: add dsimp lemma for SetLike (#18453) …
Added SetLike.setOf_mem_eqView on Github →