# Commit 2018-09-15 17:29 39bab47f

View on Github →feat(linear_algebra): dimension theorem (#345)

- dimension theorem
- more theorems about dimension
- cardinal stuff
- fix error
- move A/S x S = A to quotient_module.lean
- remove pempty_equiv_empty

Mathlib v3 is deprecated. Go to Mathlib v4

feat(linear_algebra): dimension theorem (#345)

- dimension theorem
- more theorems about dimension
- cardinal stuff
- fix error
- move A/S x S = A to quotient_module.lean
- remove pempty_equiv_empty