Def CategoryTheory.Limits.Bicone.toBinaryBiconeIsColimit

Modification history