chore: refactor Algebra.TensorProduct.rightAlgebra#39699

kbuzzard wants to merge 7 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

kbuzzard:kbuzzard-rightAlgebra-refactor2kbuzzard/mathlib4:kbuzzard-rightAlgebra-refactor2Copy head branch name to clipboard