Mathlib v3 is deprecated. Go to Mathlib v4

Theorem geometric_hahn_banach_open_point

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_open_pointView on Github →