Theorem CategoryTheory.preservesColimitsIso_inv_comp_desc

Modification history