HvdH machine lemma permP_spec (Permuting a list of records by a list of target indices)

Initializing...

HvdH machine lemma permP_spec (Permuting a list of records by a list of target indices) · Prove2Me