Def CategoryTheory.InjectiveResolution.descFSucc

Modification history