Def CategoryTheory.Limits.preservesBinaryProductOfPreservesBinaryBiproduct

Modification history