Def CategoryTheory.StructuredArrow.mkIdInitial

Modification history