mathlib

b673ed8a - feat(analysis/normed_space): Geometric Hahn Banach theorems (#7288)

feat(analysis/normed_space): Geometric Hahn Banach theorems (#7288) This proves a range of variants of the Hahn-Banach separation theorems. Co-authored-by: YaelDillies <yael.dillies@gmail.com>