Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-09 16:50 f60c184e

View on Github →

feat(algebra/lie/basic): Lie ideal operations are linear spans (#5676)

Estimated changes

Modified src/algebra/lie/basic.lean

added theorem lie_submodule.lie_ideal_oper_eq_linear_span

added theorem lie_submodule.lie_span_mono

added theorem lie_submodule.mem_coe

added theorem lie_submodule.submodule_span_le_lie_span