mathlib
97a56e63 - refactor(algebra/lie/basic): split giant file into pieces (#6141)

Commit

4 years ago

refactor(algebra/lie/basic): split giant file into pieces (#6141)

Author

ocfnash

ocfnash

Parents

Loading