Theorem CategoryTheory.Limits.Cocone.ofCotrident_ι

Modification history