Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-28 05:25 3986e978

View on Github →

chore(algebra/lie): group Lie algebra files together in their own directory (#4288)

Estimated changes

Renamed src/algebra/lie_algebra.lean to src/algebra/lie/basic.lean

modified def lie_ideal_subalgebra

modified def lie_module.of_endo_morphism

Renamed src/algebra/classical_lie_algebras.lean to src/algebra/lie/classical.lean

Renamed src/algebra/universal_enveloping_algebra.lean to src/algebra/lie/universal_enveloping.lean

Modified src/ring_theory/derivation.lean

Modified test/transport/basic.lean