Theorem mem_span_image_iff_exists_fun

Modification history

2025-02-26 10:06
Mathlib/LinearAlgebra/Finsupp/LinearCombination.lean
feat: more structural lemmas about root pairings (#22213) …
Added mem_span_image_iff_exists_funView on Github →