Def CategoryTheory.StructuredArrow.map₂

Modification history