The Closed Unit Ball of a Normed Vector Space is Compact iff the Dimension is Finite

Last updated Nov 1, 2022

TODO