Commit 2022-12-14 11:12 ae193735
View on Github →feat(data/set/pointwise/smul): a • (s \ t) = a • s \ a • t
(#17927)
Scalar multiplication distributes over set and symmetric difference.
feat(data/set/pointwise/smul): a • (s \ t) = a • s \ a • t
(#17927)
Scalar multiplication distributes over set and symmetric difference.