Theorem CategoryTheory.Limits.HasZeroObject.zeroIsoTerminal_hom

Modification history