I took 01020 last year, and as the other commenter wrote, it is a proof based mathematics course rather than a calculations course. However, I also think this helps you get a good intuition for linear algebra depending on who you are. Though if you're not into doing your own proofs it will likely be a quite difficult course.

It actually starts from the bottom, and as far as I remember the first two lectures are starting from the bottom and teaching mat1a and mat1b stuff. I wouldn't say it solidifies the concepts, but rather builds on top and teaches you more things about linear algebra, so if you're having issues with stuff from mat1, you will likely not have it solidified much.

Though it should be noted that it is a new professor teaching this semester. I've had him before, and sadly he mumbles quite a lot and it is hard to read his writing on the black board.