Theorem Cardinal.lt_aleph0_iff_fintype

Modification history