Theorem CategoryTheory.NatTrans.leftDerivedToHomotopyCategory_comp

Modification history