Theorem Cardinal.nat_add_continuum

Modification history