Current task: —

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

#2101 user 2026-08-26 04:13:11.966 UTC open ⤢
let's go with DL-0