Reiner's Conjecture on Higher Bruhat Orders in Corank 3
Prior state unknown→proved
corank 3; the general conjecture remains open, corank 2 being McConville's case
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review