Mathlib v3 is deprecated. Go to Mathlib v4

Theorem vector_space.eval_range

Modification history

2020-06-28 06:01
src/linear_algebra/dual.lean
feat(subtype): standardize (#3204) …
Deleted vector_space.eval_rangeView on Github →
2019-04-08 12:50
src/linear_algebra/dual.lean
feat(linear_algebra/dual): add dual vector spaces (#881) …
Added vector_space.eval_rangeView on Github →