Theorem CategoryTheory.Limits.IsColimit.coconePointUniqueUpToIso_inv_desc

Modification history