Def CategoryTheory.Limits.preservesProductsOfShapeOfPreservesBiproductsOfShape

Modification history