∫ Утверждение Mathlib

pseudoZero_def

Mathlib.CategoryTheory.Abelian.Pseudoelements

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Abelian.Pseudoelement.pseudoZero_def

← MathLib Explorer