Def CategoryTheory.Limits.CatCospanTransformMorphism.whiskerRight

Modification history