mathlib3
b7ab74ab - feat(algebra/lie/weights): add lemma `root_space_comap_eq_weight_space` (#7565)

Commit

4 years ago

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

Author

ocfnash

ocfnash

Parents

Loading