Commit 2022-07-19 23:27 54cb8484
View on Github →refactor(data/set/countable): rename some lemmas (#15527)
set.countable_iff_exists_surjective
->set.countable_iff_exists_subset_range
;set.countable_iff_exists_surjective_to_subtype
->set.countable_iff_exists_surjective
;set.countable.exists_surjective
->set.countable.exists_eq_range
.