Def CategoryTheory.Arrow.leftToRight

Modification history