∫ Утверждение Mathlib
pointwise_central_scalar
Mathlib.Algebra.Ring.Subsemiring.Pointwise
URI: https://scilib.ai/kg/mathlib#Subsemiring.pointwise_central_scalar
∫ Утверждение Mathlib
Mathlib.Algebra.Ring.Subsemiring.Pointwise
URI: https://scilib.ai/kg/mathlib#Subsemiring.pointwise_central_scalar