Theorem Finsupp.single_mem_span_single

Modification history

2025-12-31 06:46
Mathlib/LinearAlgebra/Finsupp/Supported.lean
chore(RingTheory/FiniteType): move `MonoidAlgebra` lemmas earlier (#33099) …
Added Finsupp.single_mem_span_singleView on Github →