Def CategoryTheory.leftAdjointOfStructuredArrowInitialsAux

Modification history