Ruzsa’s genus-one problem
log in with GitHub
← witness #1626
Commentary history
1 edit.
Yongxi (Aaron) Lin · 2026-08-08 00:26:48 UTC
Mixed-radix product A=A_125+125 A_175 from the 9-point N=125 record and 10-point N=175 record. Validity follows digitwise.
Yongxi (Aaron) Lin · 2026-08-08 00:26:48 UTC