Theorem CategoryTheory.Limits.CatCospanTransform.triangle

Modification history