mathlib
bca82787 - feat(algebra/lie/basic): add missing `@[ext]` and `@[simp]` lemmas (#10316)

Commit

4 years ago

feat(algebra/lie/basic): add missing `@[ext]` and `@[simp]` lemmas (#10316)

Author

urkud

urkud

Parents

Loading