Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-30 10:02 b0ece6fe

View on Github →

chore(data/set/{basic,countable}): add, rename, golf (#6935)

  • add set.range_prod_map and set.countable.image2;
  • rename set.countable_prod to set.countable.prod.

Estimated changes