Commit 2022-03-21 11:08 86055c5d
View on Github →split(data/{finset,set}/pointwise): Split off algebra.pointwise
(#12831)
Split algebra.pointwise
into
data.set.pointwise
: Pointwise operations onset
data.finset.pointwise
: Pointwise operations onfinset
I'm crediting- The same people for
data.set.pointwise
- Floris for #3541