instCommSemiringSubtypeMemCenter — Mathlib · SciLib

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

instCommSemiringSubtypeMemCenter

Mathlib.Algebra.Algebra.Subalgebra.Basic

URI: https://scilib.ai/kg/mathlib#Subalgebra.instCommSemiringSubtypeMemCenter

← MathLib Explorer