Equivalence of Definitions of Change of Basis Matrix

Theorem
The following definitions of an change of basis matrix are equivalent: