rank_fin_fun — Mathlib · SciLib

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

rank_fin_fun

Mathlib.LinearAlgebra.Dimension.Constructions

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

← MathLib Explorer