Def CategoryTheory.ComposableArrows.δ₀Functor

Modification history