Def CategoryTheory.CostructuredArrow.map₂

Modification history