rank_pos — Mathlib · SciLib

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

rank_pos

Mathlib.LinearAlgebra.Dimension.Finite

URI: https://scilib.ai/kg/mathlib#rank_pos

← MathLib Explorer