∫ Утверждение Mathlib
_aux_Mathlib_Analysis_CStarAlgebra_Module_Synonym___macroRules_WithCStarModule_termC⋆ᵐᵒᵈ(_,_)_1
Mathlib.Analysis.CStarAlgebra.Module.Synonym
URI: https://scilib.ai/kg/mathlib#WithCStarModule._aux_Mathlib_Analysis_CStarAlgebra_Module_Synonym___macroRules_WithCStarModule_termC⋆ᵐᵒᵈ(_,_)_1