April 23, 2023December 3, 2025 tomrocksmaths Oxford Linear Algebra: Dimension Formula for Vector Spaces