mathlib

4f38062c - feat(algebra/lie/base_change): define extension and restriction of scalars for Lie algebras (#7808)

feat(algebra/lie/base_change): define extension and restriction of scalars for Lie algebras (#7808) Co-authored-by: kckennylau <kc_kennylau@yahoo.com.hk> Co-authored-by: Kenny Lau <kc_kennylau@yahoo.com.hk> Co-authored-by: Eric Wieser <wieser.eric@gmail.com> Co-authored-by: Oliver Nash <github@olivernash.org>