Structure CategoryTheory.Limits.CatCospanTransformMorphism

Modification history