Def CategoryTheory.Limits.preservesBiproductsOfShapeOfPreservesProductsOfShape

Modification history