Theorem CategoryTheory.composePath_comp'

Modification history