Keyword: single-parameter

Definition Knapsack Auction Environment formalized

Definition Myerson Payment Construction (withMyersonPayment) formalized

Lemma Myerson Payment Envelope Lemmas proved

Definition Myerson Payment Formula formalized

Definition Single-Parameter Transfer Layer formalized