Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-10 16:44 b7ab74ab

View on Github →

feat(algebra/lie/weights): add lemma root_space_comap_eq_weight_space (#7565)

Estimated changes

Modified src/algebra/lie/subalgebra.lean

added theorem lie_subalgebra.coe_incl'

added theorem lie_subalgebra.coe_incl

added def lie_subalgebra.incl'

modified def lie_subalgebra.incl

Modified src/algebra/lie/submodule.lean

added theorem lie_submodule.mem_comap

Modified src/algebra/lie/weights.lean

added theorem lie_algebra.root_space_comap_eq_weight_space

modified theorem lie_module.coe_weight_space_of_top