# The cardinality of the complex numbers #

This file shows that the complex numbers have cardinality continuum, i.e. `#ℂ = 𝔠`

.

@[simp]

The cardinality of the complex numbers, as a type.

The cardinality of the complex numbers, as a set.

Mathlib.Data.Complex.Cardinality

This file shows that the complex numbers have cardinality continuum, i.e. `#ℂ = 𝔠`

.

@[simp]

The cardinality of the complex numbers, as a type.

The cardinality of the complex numbers, as a set.