Theorem Submodule.mem_span_triple

Modification history

2025-05-19 15:04
Mathlib/LinearAlgebra/Span/Defs.lean
feat: define the `sl₂` Lie subalgebra associated to a root (#24995) …
Added Submodule.mem_span_tripleView on Github →