Structure CategoryTheory.Limits.CatCospanTransform

Modification history