Erdos's Question on the Independence Ratio of Unit-Distance Graphs
Prior state unknown→proved
VibeMathed recorded: Erdos's Question on the Independence Ratio of Unit-Distance Graphs. Consult the linked registry entry for the original report and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review