Def CategoryTheory.Limits.preservesBiproductsOfShapeOfPreservesCoproductsOfShape

Modification history