Theorem CategoryTheory.Limits.CatCospanTransform.comp_whiskerLeft

Modification history