Theorem CategoryTheory.composePath_cons

Modification history