∫ Утверждение Mathlib
indexEquiv
Mathlib.LinearAlgebra.Dimension.StrongRankCondition
URI: https://scilib.ai/kg/mathlib#Module.Basis.indexEquiv
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.Dimension.StrongRankCondition
URI: https://scilib.ai/kg/mathlib#Module.Basis.indexEquiv