Def CategoryTheory.isLeftAdjointOfCostructuredArrowTerminals

Modification history