Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mem_span_finset

Modification history

2020-09-29 04:58

src/linear_algebra/finsupp.lean

feat(ring_theory/algebra_tower): Artin--Tate lemma (#4282)

Added mem_span_finset View on Github →