feat(algebra/algebra/subalgebra): add a helper to promote submodules to subalgebras (#12368)
feat(algebra/algebra/subalgebra): add a helper to promote submodules to subalgebras (#12368)







leanprover-community/mathlib,leanprover-community/mathlib