Theorem CategoryTheory.Limits.HasZeroObject.zeroIsoIsTerminal_hom

Modification history