Theorem CategoryTheory.Limits.CatCospanTransform.whiskerRight_comp

Modification history