Theorem CategoryTheory.NatTrans.leftDerivedToHomotopyCategory_id

Modification history