rank_le_card — Mathlib · SciLib

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

rank_le_card

Mathlib.Algebra.Lie.Rank

URI: https://scilib.ai/kg/mathlib#LieAlgebra.rank_le_card

← MathLib Explorer