Ziegler's Cross-Polytope Conjecture (simplicial 0/1-polytopes)
Prior state unknown→disproved
VibeMathed recorded: Ziegler's Cross-Polytope Conjecture (simplicial 0/1-polytopes). Consult the linked registry entry for the original report and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review