Mathlib v3 is deprecated. Go to Mathlib v4

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.

Estimated changes