Theorem CategoryTheory.Limits.CatCospanTransform.whiskerleft_id

Modification history