Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time (AI, Lean)(www.proofatlas.ai)
1 pointby zone4112 hours ago1 comment