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.