Kourovka Problem 21.8 - Horizontal Class Transpositions
Prior state unknown→proved
VibeMathed recorded: Kourovka Problem 21.8 - Horizontal Class Transpositions. Consult the linked registry entry for the original report and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review