Theorem CategoryTheory.Limits.CatCospanTransform.whisker_exchange

Modification history