Hahn-Banach Theorem/Historical Note

Historical Note on Hahn-Banach Theorem
The Hahn-Banach Theorem was first proved by in around $1912$, some $15$ years before  and  developed it independently.