Commit 2024-05-04 21:55 b6325376
View on Github →docs: fix typo (#12659)
single 1 1 is the MonoidAlgebra unit, while the AddMonoidAlgebra unit is single 0 1.
docs: fix typo (#12659)
single 1 1 is the MonoidAlgebra unit, while the AddMonoidAlgebra unit is single 0 1.