Def CategoryTheory.adjunctionOfCostructuredArrowTerminals

Modification history