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

one_mem

Mathlib.Algebra.Algebra.Subalgebra.Basic

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

← MathLib Explorer