Def CategoryTheory.CostructuredArrow.map

Modification history