Current task: —

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

#2077 user 2026-08-26 03:15:11.891 UTC open ⤢
let's continue