Mathlib Phrasebook
Mathlib Phrasebook
Table of Contents
1.
Additive combinatorics
2.
Asymptotics
3.
Clifford, exterior algebras
4.
Covering spaces
5.
Differential calculus
6.
Ergodic maps
7.
Filters
8.
Group actions
9.
Groups
10.
Haar measure
11.
Hausdorff Measure
12.
H-spaces
13.
Lie algebras
14.
Linear algebra
15.
Number fields
16.
Polynomials
17.
Root systems
18.
Schemes
19.
Topological vector spaces
20.
Trigonometric functions
Index
13.
Lie algebras
13.1.
Lie algebras and their representations
13.2.
Properties of Lie algebras
13.3.
Notable results
←
12.3. Examples
13.1. Lie algebras and their representations
→
13. Lie algebras
🔗
We describe Mathlib's theory of Lie algebras in the sections below.
13.1.
Lie algebras and their representations
13.2.
Properties of Lie algebras
13.3.
Notable results
←
12.3. Examples
13.1. Lie algebras and their representations
→