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
Aug 21, 2026 - Lean