spanFinrank_eq_zero_iff_eq_bot — Mathlib · SciLib

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

spanFinrank_eq_zero_iff_eq_bot

Mathlib.Algebra.Module.SpanRank

URI: https://scilib.ai/kg/mathlib#Submodule.spanFinrank_eq_zero_iff_eq_bot

← MathLib Explorer