Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-28 04:58 cc3e2c77

View on Github →

feat(linear_algebra/basic): f x ∈ submodule.span R (f '' s) (#6453)

Estimated changes