Rational_Numbers_are_Countably_Infinite
Provedcountable-setsproofwikirational-numbers
The set of rational numbers is countably infinite.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem Rational_Numbers_are_Countably_Infinite : Countable ℚ := by sorry
Source