Def CategoryTheory.Limits.preservesCoproductsOfShapeOfPreservesBiproductsOfShape

Modification history