finiteDimensional_self — Mathlib · SciLib

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

finiteDimensional_self

Mathlib.LinearAlgebra.FiniteDimensional.Defs

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

← MathLib Explorer