Commentary history

1 edit.

Yongxi (Aaron) Lin · 2026-08-08 00:19:20 UTC

Factor-first mixed-radix product A=A_125+125 A_273 from the 9-point N=125 record and 13-point N=273 record. Validity follows digitwise by first reducing modulo 125 and then dividing the canceled relation by 125 to use the N=273 witness.