Theorem CategoryTheory.NatTrans.rightDerivedToHomotopyCategory_comp

Modification history