Theorem CategoryTheory.InjectiveResolution.comp_descHomotopyZeroOne

Modification history