Theorem CategoryTheory.Limits.IsColimit.ofCoconeEquiv_symm_apply_desc

Modification history