Theorem LinearIndependent.pair_add_right_iff

Modification history

2025-06-02 06:39
Mathlib/LinearAlgebra/LinearIndependent/Lemmas.lean
feat: various lemmas to support construction of Lie algebra from root system (#25214)
Added LinearIndependent.pair_add_right_iffView on Github →