Notes and exercises on Finite Dimensional Vector Spaces by Halmos