tmul_mem_baseChange_of_mem — Mathlib · SciLib

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

tmul_mem_baseChange_of_mem

Mathlib.Algebra.Lie.BaseChange

URI: https://scilib.ai/kg/mathlib#LieSubmodule.tmul_mem_baseChange_of_mem

← MathLib Explorer