Derivations in Do-notationLast updated Oct 14, 2024Tags: do-notation - theory of symmetric monoidal categories.
