Theorem CategoryTheory.Limits.CatCospanTransform.whiskerLeft_comp

Modification history