Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-09 03:25 223f6590

View on Github →

chore(linear_algebra/basic): remove a duplicate proof, generalize map_span_le (#10219)

Estimated changes

modified theorem submodule.map_span_le