Theorem Set.ext_iff

Modification history

2024-07-31 09:27

Mathlib/Data/Set/Basic.lean

chore: improve some ext_iff lemmas (#15340) …

Deleted Set.ext_iff View on Github →

2022-12-12 01:34

Mathlib/Data/Set/Basic.lean

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

Added Set.ext_iff View on Github →