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

zero_mem

Mathlib.Algebra.Algebra.Subalgebra.Basic

URI: https://scilib.ai/kg/mathlib#Subalgebra.zero_mem

← MathLib Explorer