mathlib3

2d0ff329 - chore(algebra/*): move function instances (#13650)

chore(algebra/*): move function instances (#13650) These should have been much earlier, but I put them in their current places to avoid large build times in what was an already large refactor.