Theorem CategoryTheory.Limits.Cofork.ofCocone_ι

Modification history