Theorem CategoryTheory.Limits.HasZeroObject.zeroIsoInitial_inv

Modification history