Commit 2024-10-22 14:15 660d68a7
View on Github →refactor(Group/Pointwise/Finset): state mul_singleton
/singleton_mul
using •
(#18068)
This is much more useful in practice than the image
spelling. Move the smul
/vadd
sections higher to allow for that spelling.
From LeanCamCombi