Theorem CategoryTheory.Abelian.Pseudoelement.zero_eq_zero

Modification history