Build completed successfully (8617 jobs).
Erdos254.erdos_254 : Erdos254.Statement
'Erdos254.erdos_254' depends on axioms: [propext, Classical.choice, Quot.sound]
PASS: canonical Erdős 254 statement has a placeholder-free kernel proof
