Theorem CategoryTheory.preserves_desc_mapCocone

Modification history