fact: Definition genTermSwapping {G : CFGV} {vc : VarSym G} (lln : list (list nat) ) (patSwaps : list (Swapping vc)) : list (Swapping vc) := map (flat_map (fun n=> nth n patSwaps [])) lln.
imports: SubstAux AlphaEqProps