Theorem Cardinal.lt_aleph0_of_finite

Modification history