∫ Утверждение Mathlib
rank_rat_real
Mathlib.LinearAlgebra.Complex.FiniteDimensional
URI: https://scilib.ai/kg/mathlib#Real.rank_rat_real
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.Complex.FiniteDimensional
URI: https://scilib.ai/kg/mathlib#Real.rank_rat_real