mathlib3

2e09d790 - feat(topology/algebra/algebra): `algebra_clm` does not need a normed space or field (#16690)

feat(topology/algebra/algebra): `algebra_clm` does not need a normed space or field (#16690) This also clean up the variables in the `topology/algebra/algebra.lean` file, to ensure that the type variables come first (as this is a useful convention for when using `@` notation).