Def category_theory.structured_arrow.to_costructured_arrow

Modification history