Mathlib v3 is deprecated. Go to Mathlib v4

Theorem geometric_hahn_banach_closed_compact

Modification history

2022-05-29 13:40
src/analysis/normed_space/hahn_banach/separation.lean
feat(analysis/normed_space): Geometric Hahn Banach theorems (#7288) …
Added geometric_hahn_banach_closed_compactView on Github →