mathlib3
9411b00e
- feat(algebra/lie/basic): define the center of a Lie algebra and prove some related results (#6013)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
feat(algebra/lie/basic): define the center of a Lie algebra and prove some related results (#6013)
Author
ocfnash
Parents
d989ff47
Loading