>>16704637
functionals are vector spaces. You’re thinking like an analysis fag. I’m thinking like an algebra fag. There’s a non-canonical isomorphism between fin dim vector spaces over the same field if they have the same dimension. You don’t have to prove it every single time.