Theorem CategoryTheory.Abelian.Exact.unop_iff

Modification history