Theorem CategoryTheory.Limits.hasProductsOfShape_of_opposite

Modification history