Theorem CategoryTheory.Limits.idZeroEquivIsoZero_apply_inv

Modification history