varikvalefor, 6 months ago ℝ = ℤ × Codata.Colist.Colist (Fin 10) ∞
ℝ = ℤ × Codata.Colist.Colist (Fin 10) ∞