Theorem CategoryTheory.Limits.Cotrident.ofCocone_ι

Modification history