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