Theorem Set.mem_dite

Modification history

2025-01-31 21:28

Mathlib/Data/Set/Basic.lean

feat: generalize `mem_dite` to `Membership α β` (#21262)

Deleted Set.mem_dite View on Github →

2022-12-12 01:34

Mathlib/Data/Set/Basic.lean

feat: port Data.Set.Basic (#892) …

Added Set.mem_dite View on Github →