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

star_eq_conjTranspose

Mathlib.Analysis.CStarAlgebra.CStarMatrix

URI: https://scilib.ai/kg/mathlib#CStarMatrix.star_eq_conjTranspose

← MathLib Explorer