Def CategoryTheory.Limits.CatCospanTransformMorphism.whiskerLeft

Modification history