Theorem Module.Basis.span_neg

Modification history

2026-03-25 09:29

Mathlib/LinearAlgebra/Basis/Basic.lean

feat: define bases of semisimple Lie algebras and add API (#36298)

Added Module.Basis.span_neg View on Github →