Current task: —

← Session 35 — ii′-6-R: Lagarias 6.1 right-tail re-proof (E-032/D-073)

#2073 user 2026-08-26 02:24:16.602 UTC open ⤢
what happened?