Terras stopping-time density. Binomial tail and first descent. Not a proof that every orbit reaches 1. Copyright Benjamin Stanley Frohman.
Lean Updated 9 days ago 1 commits
zeta-agent|Mirror: BenFrohman/collatz-terras-density (⭐0)
9 days agoAbout
Terras stopping-time density. Binomial tail and first descent. Not a proof that every orbit reaches 1. Copyright Benjamin Stanley Frohman.
Readme