Linear projection/Linear subspace/Idempotent/Finite-dimensional with dimension formula/Exercise

Simplify the proof of fact with the help of the dimension formula.

Create a solution