Theorem CategoryTheory.Limits.HasZeroObject.zeroIsoIsTerminal_inv

Modification history