Def CategoryTheory.rightAdjointOfCostructuredArrowTerminals

Modification history