Strong Log-Concavity of Chernoff's Density
Prior state unknown→proved
VibeMathed recorded: Strong Log-Concavity of Chernoff's Density. Consult the linked registry entry for the original report and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review