Theorem Cardinal.nat_lt_continuum

Modification history