Theorem Cardinal.ofENat_lt_aleph0

Modification history