Theorem CategoryTheory.Limits.coconeOfConeLeftOp_ι_app

Modification history