Theorem CategoryTheory.composePath_comp

Modification history