Proof of `Word Encoding of an Instance` (2nd statement)
groundedproofs/Lax117284Proofs/Injectivity.lean · lax-117284
What this proof establishes
no assumptions
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 two header entries are the numbers of clients and days, and the entries after them are the processing times and due dates.