mathlib3
c347c75d - feat(algebra/lie/basic): add a few `simp` lemmas (#5757)

Commit

5 years ago

feat(algebra/lie/basic): add a few `simp` lemmas (#5757)

Author

ocfnash

ocfnash

Parents

Loading