Theorem not_countable_complex

Modification history

2023-04-19 11:19
Mathlib/Data/Complex/Cardinality.lean
feat: port Data.Complex.Cardinality (#3506)
Added not_countable_complexView on Github →