Def CategoryTheory.Limits.idZeroEquivIsoZero

Modification history