Theorem CategoryTheory.Abelian.exact_iff

Modification history