Theorem CategoryTheory.SingleObj.mapHom_comp

Modification history