Def CategoryTheory.Limits.preservesBinaryCoproductsOfPreservesBinaryBiproducts

Modification history