Quotienting Do-notation

Last updated Oct 14, 2024

• Do notation

Tags: do-notation - theory of symmetric monoidal categories.