Combinatorial insertions

Last updated Oct 7, 2024

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