HvdH machine lemma ST.descLoop_spec (The recursive step, part 2: the Fermat level descriptors (namespace `N)

Initializing...

HvdH machine lemma ST.descLoop_spec (The recursive step, part 2: the Fermat level descriptors (namespace `N) · Prove2Me