giry monad is symmetric monoidal (wip) - #1861

Draft

affeldt-aist wants to merge 6 commits into

math-comp:masterfrom

affeldt-aist:giry_20260226

Commits on Jul 28, 2026

giry monad is symmetric monoidal (wip)
affeldt-aist
committed
ab3fe19
wip
affeldt-aist
committed
9099eea
giry monad is symmetric monoidal (done)
affeldt-aist
committed
6598a3d
rebase
affeldt-aist
committed
a635eb8
wip
affeldt-aist
committed
c3c82ea
rebase
affeldt-aist
committed
2d7a4c3