Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.abelian.pseudoelement.has_zero

Modification history

2021-09-12 17:53
src/category_theory/abelian/pseudoelements.lean
chore(category/abelian/pseudoelements): localize expensive typeclass (#9156) …
Added category_theory.abelian.pseudoelement.has_zeroView on Github →