We discuss the theory of Lie algebras in Lean's Mathlib library. Using
n...
Gallagher's ergodic theorem is a result in metric number theory. It stat...
In differential topology and geometry, the h-principle is a property enj...
Lie algebras are an important class of algebras which arise throughout
m...