Def CategoryTheory.Limits.isoZeroOfMonoEqZero

Modification history