instLieRingModuleSubtypeMem — Mathlib · SciLib

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

instLieRingModuleSubtypeMem

Mathlib.Algebra.Lie.Submodule

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

← MathLib Explorer