Revision #1358 → #1771 · back to history
addedQuotient Lie algebra2bc594fa6841
modifiedProduct Lie algebra0baa0704dc99
| Field | From #1358 | To #1771 |
|---|
| mathlib.decl | instLieRing | LieAlgebra.Prod.instLieRing |
modifiedLie algebra of vector fields8a415ac948bb
| Field | From #1358 | To #1771 |
|---|
| mathlib.module | Mathlib.Geometry.Manifold.VectorField.LieBracket | Mathlib.Analysis.Calculus.VectorField |
modifiedVector fields as infinite-dimensional Lie algebra55df28bf1528
| Field | From #1358 | To #1771 |
|---|
| mathlib.module | Mathlib.Geometry.Manifold.VectorField.LieBracket | Mathlib.Analysis.Calculus.VectorField |
modifiedKilling forme1831660aeee
| Field | From #1358 | To #1771 |
|---|
| mathlib.module | Mathlib.Algebra.Lie.Killing | Mathlib.Algebra.Lie.TraceForm |
addedCartan's criterion for solvabilityfa4c328d976a
addedLazard correspondence54b1c6480dbe