First-passage linear transport for stretched-logarithmic natural-density Collatz descent
proof-assistant number-theory collatz-conjecture mathlib lean4 formalized-mathematics first-passage polylogarithmic-descent natural-density almost-all-orbits
-
Updated
Sep 6, 2026 - Lean