Commit 2021-03-30 10:02 b0ece6fe
View on Github →chore(data/set/{basic,countable}): add, rename, golf (#6935)
- add
set.range_prod_map
andset.countable.image2
; - rename
set.countable_prod
toset.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
.