2022-04-12 12:36
src/category_theory/abelian/pseudoelements.lean
feat(counterexamples/pseudoelement): add counterexample to uniqueness in category_theory.abelian.pseudoelement.pseudo_pullback (#13387) …
Added category_theory.abelian.pseudoelement.Module.eq_range_of_pseudoequal