Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time (AI, Lean)

(proofatlas.ai)

2 points | by zone411 7 hours ago

1 comments