Theorem CategoryTheory.Limits.HasZeroObject.zeroIsoIsInitial_hom

Modification history