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

Initializing...

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