Theorem Cardinal.nat_lt_aleph0

Modification history