coe_toStarSubalgebra — Mathlib · SciLib

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

coe_toStarSubalgebra

Mathlib.Analysis.VonNeumannAlgebra.Basic

URI: https://scilib.ai/kg/mathlib#VonNeumannAlgebra.coe_toStarSubalgebra

← MathLib Explorer