instLieModule — Mathlib · SciLib

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

instLieModule

Mathlib.Algebra.Lie.Submodule

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

← MathLib Explorer