Hahn-Banach Theorem (1993)

by Bogdan Nowak, Andrzej Trybulec