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

zero_eq_zero'

Mathlib.CategoryTheory.Abelian.Pseudoelements

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

← MathLib Explorer