Theorem CategoryTheory.Abelian.Pseudoelement.exact_of_pseudo_exact

Modification history