Def CategoryTheory.rightAdjointOfCostructuredArrowTerminalsAux

Modification history