Current task: —

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

#2003 user 2026-08-25 07:18:38.287 UTC open ⤢
let's move on to ii′-6-c