mathlib

abf72e6d - refactor(algebra/lie/*): rename `lie_algebra.morphism` --> `lie_hom`, `lie_algebra.equiv` --> `lie_equiv` (#6179)

refactor(algebra/lie/*): rename `lie_algebra.morphism` --> `lie_hom`, `lie_algebra.equiv` --> `lie_equiv` (#6179) Also renaming the field `map_lie` to `map_lie'` in both `lie_algebra.morphism` and `lie_module_hom` for consistency with the pattern elsewhere in Mathlib.