HvdH machine lemma FIN.GK_le (Final assembly, part 3: the cost of the step for `q = mkParams K N`, u)

Initializing...

HvdH machine lemma FIN.GK_le (Final assembly, part 3: the cost of the step for `q = mkParams K N`, u) · Prove2Me