Def CategoryTheory.Limits.Over.ConstructProducts.conesEquiv

Modification history