P
Initializing...
{L : List BandRecord} (h : LedgerWf L) : Antitone (hiQ L) · Prove2Me