Theorem CategoryTheory.Limits.CatCospanTransform.inv_whiskerRight

Modification history