Def CategoryTheory.StructuredArrow.functor

Modification history