Def CategoryTheory.StructuredArrow.map

Modification history