Theorem CategoryTheory.isLeftAdjoint_of_costructuredArrowTerminals

Modification history