Theorem dite_mem

Modification history

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