Theorem CategoryTheory.Limits.CatCospanTransform.id_whiskerRight

Modification history