mathlib3
05e8ed24 - chore(feat/algebra/lie/from_cartan_matrix): rename file (#8219)

Commit

4 years ago

chore(feat/algebra/lie/from_cartan_matrix): rename file (#8219)

Author

ocfnash

ocfnash

Parents

Loading