mathlib3
20cc59d9 - feat(algebra/lie/basic): define missing inclusion maps (#5207)

Commit

5 years ago

feat(algebra/lie/basic): define missing inclusion maps (#5207)

Author

Oliver Nash

Parents

Loading