Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.ext_iff

Modification history

2020-05-07 07:12
src/data/set/basic.lean
chore(data/set/basic): use implicit args in `set.ext_iff` (#2619) …
Modified set.ext_iffView on Github →
2018-07-16 20:03
data/set/basic.lean
refactor(data/set/basic): rename set.set_eq_def -> set.ext_iff
Added set.ext_iffView on Github →