Def CategoryTheory.Limits.zeroCoprodIso

Modification history