Mathlib v3 is deprecated. Go to Mathlib v4

Theorem submodule.map_span_le

Modification history

2022-03-15 08:11
src/linear_algebra/basic.lean
refactor(linear_algebra/basic): split file (#12637) …
Modified submodule.map_span_leView on Github →
2021-11-09 03:25
src/linear_algebra/basic.lean
chore(linear_algebra/basic): remove a duplicate proof, generalize map_span_le (#10219)
Modified submodule.map_span_leView on Github →
2021-04-25 15:13
src/linear_algebra/basic.lean
feat(linear_algebra): free_of_finite_type_torsion_free (#7341) …
Added submodule.map_span_leView on Github →