Def CategoryTheory.Limits.CatCospanTransform.associator

Modification history