Def CategoryTheory.Limits.preservesBinaryCoproductOfPreservesBinaryBiproduct

Modification history