Mathlib v3 is deprecated. Go to Mathlib v4

Theorem riesz_lemma

Modification history

2019-11-03 15:40
src/analysis/normed_space/riesz_lemma.lean
feat(analysis/normed_space): Riesz's lemma (#1642) …
Added riesz_lemmaView on Github →