mathlib

9cfa33a6 - feat(algebra/lie): implement `set_like` for `lie_submodule` (#10488)

feat(algebra/lie): implement `set_like` for `lie_submodule` (#10488) This PR provides a `set_like` instance for `lie_submodule` and uses it to define `has_mem` and `has_le` for Lie submodules / ideals.