Def CategoryTheory.Limits.preservesBinaryBiproductOfPreservesBinaryCoproduct

Modification history