giry monad is symmetric monoidal (wip)#1861
Draft
affeldt-aist wants to merge 4 commits intomath-comp:masterfrom
Draft
giry monad is symmetric monoidal (wip)#1861affeldt-aist wants to merge 4 commits intomath-comp:masterfrom
affeldt-aist wants to merge 4 commits intomath-comp:masterfrom
Commits
Commits on Feb 26, 2026
- committed
- committed
- committed
