Proof of `A deliberately overlong concept title that exists only to see how the proof network figure wraps, truncates or overflows a label nobody would ever write in a real submission` (2nd statement)
groundedproofs/Lax771644Proofs/AVeryLongConceptNameForTestingLabelWrappingInTheProofNetworkFigure.lean · lax-771644
What this proof establishes
Assuming the claims on the left, the claim on the right holds — checked by the archive's pipeline. Proof code is not displayed here.
Description
The second overlong statement follows from the first.
Proof strategy
Apply the first statement and weaken one rung.
Attribution
Synthetic: written for this benchmark. The mathematics is a one-line divisibility weakening; only the shape of the dependency edges is the point.