Theorem CategoryTheory.InjectiveResolution.rightDerived_app_eq

Modification history