Commit 2022-07-17 17:25 6379d39e
View on Github →feat(data/set/countable): protect lemmas (#15415)
We protect set.countable_iff_exists_injective
, set.countable_iff_exists_surjective
, and set.countable.to_encodable
in order to avoid clashes with the theorems on the new countable
typeclass.