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

zero_apply

Mathlib.Algebra.Group.Hom.Instances

URI: https://scilib.ai/kg/mathlib#AddMonoid.End.zero_apply

← MathLib Explorer