chore: fix implicit-reducible diamond in Lie subalgebras#38260

sgouezel wants to merge 3 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

sgouezel:SG_lintLiesgouezel/mathlib4:SG_lintLieCopy head branch name to clipboard