Theorem CategoryTheory.Abelian.imageIsoImage_inv

Modification history