Theorem CategoryTheory.Limits.HasZeroObject.zeroIsoInitial_hom

Modification history