Talk:Infinite-Dimensional Banach Space has Uncountable Dimension

Maybe "that is, $\dim X > \aleph_0$" would do here? Caliburn (talk) 15:42, 14 June 2023 (UTC)


 * My erring I think is because $X$ uncountable implies $\card X > \aleph_0$ is a theorem iirc? I worry saying "$\dim X$ is the cardinality of some uncountable set" might seem strange to spell out. Caliburn (talk) 15:44, 14 June 2023 (UTC)