rank_punit — Mathlib · SciLib

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

rank_punit

Mathlib.LinearAlgebra.Dimension.Subsingleton

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

← MathLib Explorer