Theorem CategoryTheory.composePath_toPath

Modification history