Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-16 17:42 41556652

View on Github →

refactor(linear_algebra/dual): replace dim<omega by finite_dimensional (#5775)

Estimated changes

modified theorem vector_space.dual_dim_eq
modified theorem vector_space.erange_coe