The Kim-Roush Conjecture on the Maximum of per(I-A) in Odd Order
Prior state unknown→proved
Kim and Roush did not claim uniqueness; the classification of equality cases is new alongside the conjecture itself.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review