Homomorphism space/Dimension/Fact

< Homomorphism space < Dimension

Let denote a field, and let and denote finite-dimensional -vector spaces with dimensions and .

Then