HvdH machine lemma ST.popB_of (The recursive step: numeric facts about `mkParams K N` derived from th)

Initializing...

HvdH machine lemma ST.popB_of (The recursive step: numeric facts about `mkParams K N` derived from th) · Prove2Me