Theorem CategoryTheory.Abelian.tfae_epi

Modification history