Commit 2021-03-30 10:02 b0ece6fe
View on Github →chore(data/set/{basic,countable}): add, rename, golf (#6935)
- add set.range_prod_mapandset.countable.image2;
- rename set.countable_prodtoset.countable.prod.
chore(data/set/{basic,countable}): add, rename, golf (#6935)
set.range_prod_map and set.countable.image2;set.countable_prod to set.countable.prod.