/caterwaul/Category/Monoidal/Closed/Cartesian/Kind
Copy path to clipboardSource
λ(cat : ../../Sort) → λ(object : Kind) → ../../Cartesian/Kind cat object object
caterwaul
Switch Light/Dark Modeλ(cat : ../../Sort) → λ(object : Kind) → ../../Cartesian/Kind cat object object