Pseudoelement

📁 Source: Counterexamples/Pseudoelement.lean

Statistics

Metric	Count
Definitions Pseudoelement	1
Theorems	0
Total	1

CategoryTheory.Abelian

Definitions

Name	Category	Theorems
Pseudoelement 📖	CompOp	11 math math: Pseudoelement.pseudoZero_def, Pseudoelement.apply_zero, Pseudoelement.pseudoZero_iff, Pseudoelement.sub_of_eq_image, Pseudoelement.pseudo_surjective_of_epi, Pseudoelement.zero_eq_zero, Pseudoelement.comp_comp, Pseudoelement.eq_zero_iff, Pseudoelement.apply_eq_zero_of_comp_eq_zero, Pseudoelement.zero_apply, Pseudoelement.pseudo_injective_of_mono

---

← Back to Index