Theorem CategoryTheory.InjectiveResolution.ι_f_succ

Modification history