Inductive definition of combs and contexts

Last updated Feb 3, 2024

Tags: Combs, Monoidal contexts.