Gao-Huo-Ma Question on Cycle Lengths in Critical Graphs
Prior state unknown→proved
VibeMathed recorded: Gao-Huo-Ma Question on Cycle Lengths in Critical Graphs. Consult the linked registry entry for the original report and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review