Theorem CategoryTheory.Limits.IsColimit.comp_coconePointUniqueUpToIso_inv

Modification history