2022-06-04 15:25
src/algebra/lie/subalgebra.lean
feat(algebra/{lie/subalgebra,module/submodule/pointwise}): submodules and lie subalgebras form canonically ordered additive monoids under addition (#14529) …
Added lie_subalgebra.canonically_ordered_add_monoid