Theorem CategoryTheory.Abelian.PreservesCoimage.factorThruCoimage_iso_inv

Modification history