Theorem CategoryTheory.Limits.CatCospanTransform.comp_whiskerRight

Modification history