instCommCStarAlgebraComplex — Mathlib · SciLib

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

instCommCStarAlgebraComplex

Mathlib.Analysis.CStarAlgebra.Classes

URI: https://scilib.ai/kg/mathlib#instCommCStarAlgebraComplex

← MathLib Explorer