April 23, 2023February 9, 2026 tomrocksmaths Oxford Linear Algebra: Dimension Formula for Vector Spaces