finiteDimensional_submodule — Mathlib · SciLib

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

finiteDimensional_submodule

Mathlib.LinearAlgebra.FiniteDimensional.Defs

URI: https://scilib.ai/kg/mathlib#FiniteDimensional.finiteDimensional_submodule

← MathLib Explorer