∫ Утверждение Mathlib
toStarAlgEquiv
Mathlib.Algebra.Star.StarAlgHom
URI: https://scilib.ai/kg/mathlib#StarAlgEquivClass.toStarAlgEquiv
∫ Утверждение Mathlib
Mathlib.Algebra.Star.StarAlgHom
URI: https://scilib.ai/kg/mathlib#StarAlgEquivClass.toStarAlgEquiv