Theorem cardinal_lt_aleph0_of_finiteDimensional

Modification history