Def CategoryTheory.Limits.Over.ConstructProducts.conesEquivInverseObj

Modification history