[Merged by Bors] - chore(Algebra): generalize subalgebra operations to semirings#30250

harahu wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

harahu:feat/generalize-1harahu/mathlib4:feat/generalize-1Copy head branch name to clipboard