Linear mapping/Finite-dimensional/Base change/Diagram