mathlib3
refactor(algebra/lie_algebra): lie_algebra should not extend lie_ring
#2084

Merged

refactor(algebra/lie_algebra): lie_algebra should not extend lie_ring #2084

mergify merged 3 commits into master from lie-algebra

refactor(algebra/lie_algebra): lie_algebra should not extend lie_ring

83b9a20a

jcommelin approved these changes on 2020-03-04

jcommelin added ready-to-merge

Fix linting error ☺

b1daf123

Merge branch 'master' into lie-algebra

57e96a18

mergify merged 85351323 into master 6 years ago

mergify deleted the lie-algebra branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone