ProjectOverview • 568

Ban/Fre space deal/bipolar/polar deal=coquot dual
Ban/Fre space coquot=polar deal dual/polar coquot=deal dual/Hahn-Banach
Ban/Fre space codeal=polar quot dual/polar codeal=quot dual
Ban/Fre space quot/polar quot=codeal dual
top vector space quot
top vector space deal