Theorem CategoryTheory.InjectiveResolution.rightDerivedToHomotopyCategory_app_eq

Modification history