Theorem CategoryTheory.Arrow.comp_left

Modification history