Def CategoryTheory.Limits.isIsoZeroSelfEquiv

Modification history