Theorem Cardinal.nat_add_aleph0

Modification history