Theorem Basis.self_mem_span_image

Modification history

2023-08-13 21:09
Mathlib/LinearAlgebra/Basis.lean
feat(LinearAlgebra/Basis): add lemmas/golf (#6460) …
Added Basis.self_mem_span_imageView on Github →