Order of arguments: index type vs coefficients ring

Stream: mathlib4

[Yury G. Kudryashov]

I've just noticed that docs#MvPolynomial and docs#Matrix have index type first while docs#EuclideanSpace has the field first. Should we fix this?

[Yury G. Kudryashov]

What are other types that have arguments of these 2 kinds?

[Kevin Buzzard]

→ (infix, with index type first) and →₀ (same)

[Eric Wieser]

I always get EuclideanSpace wrong, but I guess the order is because EuclideanSpace R (Fin 3) looks marginally more like $R^{3}$?