∫ Утверждение Mathlib
instCommSemiringSubtypeMemSubalgebraOfT2Space
Mathlib.Topology.Algebra.Algebra
URI: https://scilib.ai/kg/mathlib#Algebra.elemental.instCommSemiringSubtypeMemSubalgebraOfT2Space
∫ Утверждение Mathlib
Mathlib.Topology.Algebra.Algebra
URI: https://scilib.ai/kg/mathlib#Algebra.elemental.instCommSemiringSubtypeMemSubalgebraOfT2Space