Def CategoryTheory.CostructuredArrow.mkIdTerminal

Modification history