Theorem CategoryTheory.composePath_nil

Modification history