Theorem CategoryTheory.Limits.HasZeroObject.zeroIsoIsInitial_inv

Modification history