Theorem CategoryTheory.shiftComm_hom_comp

Modification history