Theorem CategoryTheory.Limits.CatCospanTransform.whiskerRight_id

Modification history