Theorem CategoryTheory.Limits.CatCospanTransform.inv_whiskerLeft

Modification history