Theorem CategoryTheory.NatTrans.rightDerivedToHomotopyCategory_id

Modification history