Mathlib v3 is deprecated. Go to Mathlib v4

Def lie_algebra.root_space_weight_space_product_aux

Modification history

2021-10-15 11:28
src/algebra/lie/weights.lean
refactor(algebra/lie/basic): remove old_structure_cmd (#9721)
Added lie_algebra.root_space_weight_space_product_auxView on Github →