Theorem mem_dite

Modification history

2025-01-31 21:28
Mathlib/Logic/Basic.lean
feat: generalize `mem_dite` to `Membership α β` (#21262)
Added mem_diteView on Github →