Theorem CategoryTheory.Limits.idZeroEquivIsoZero_apply_hom

Modification history