Álgebra linear - Lima, Elon Lages (IMPA, 2025)