Commit 2020-05-07 07:12 a6415d79
View on Github →chore(data/set/basic): use implicit args in set.ext_iff (#2619)
Most other ext_iff lemmas use implicit arguments, let set.ext_iff use them too.
chore(data/set/basic): use implicit args in set.ext_iff (#2619)
Most other ext_iff lemmas use implicit arguments, let set.ext_iff use them too.