Def CategoryTheory.Limits.Over.ConstructProducts.conesEquivCounitIso

Modification history