instCompleteSpaceSubtypeMemStarSubalgebra — Mathlib · SciLib

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

instCompleteSpaceSubtypeMemStarSubalgebra

Mathlib.Topology.Algebra.StarSubalgebra

URI: https://scilib.ai/kg/mathlib#StarAlgebra.elemental.instCompleteSpaceSubtypeMemStarSubalgebra

← MathLib Explorer