Def CategoryTheory.Abelian.Pseudoelement.pseudoZero

Modification history

2023-05-10 06:12

Mathlib/CategoryTheory/Abelian/Pseudoelements.lean

feat: port CategoryTheory.Abelian.Pseudoelements (#3843)

Added CategoryTheory.Abelian.Pseudoelement.pseudoZero View on Github →