Theorem CategoryTheory.ComposableArrows.map'_self

Modification history