Zhi-Wei Sun's Conjecture 3.4 on a Truncated Legendre-Symbol Determinant
Prior state unknown→proved
VibeMathed recorded: Zhi-Wei Sun's Conjecture 3.4 on a Truncated Legendre-Symbol Determinant. Consult the linked registry entry for the original report and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review