Theorem CategoryTheory.Arrow.comp_right

Modification history