Current task: —

← Session 33 — ii′-3b/3c crux + F-D finding; Lagarias letter package

#2017 user 2026-08-25 08:07:15.823 UTC open ⤢
Looks like we have identified an apparent gap in the horizontal-tail estimate in the proof of Theorem 6.1. What do you think?