mathlib

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

refactor(algebra/lie_algebra): lie_algebra should not extend lie_ring (#2084) * refactor(algebra/lie_algebra): lie_algebra should not extend lie_ring * Fix linting error ☺ Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>