Theorem CategoryTheory.Cat.freeMap_comp

Modification history