Theorem CategoryTheory.Abelian.Pseudoelement.ModuleCat.eq_range_of_pseudoequal

Modification history