Reading's Problem 9.3: Order Dimension Versus Rank for Simplicial Arrangements
Prior state unknown→disproved
VibeMathed recorded: Reading's Problem 9.3: Order Dimension Versus Rank for Simplicial Arrangements. Consult the linked registry entry for the original report and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review