Def CategoryTheory.Limits.binaryBiconeIsBilimitOfLimitConeOfIsLimit

Modification history