Drawing the Church booleans

Last updated Sep 8, 2023

Tags: star-autonomous category, string diagram, Closed monoidal category