Def CategoryTheory.Limits.coprodZeroIso

Modification history