fact: Definition genPatSwapping {G : CFGV} {vc : VarSym G} {lgs : list (bool * GSym G)} (pts : Mixture lgs) (lvAvoid : list (vType vc)) : list (Swapping vc) := let toRen := map (lvKeep lvAvoid) (LLBinders vc pts) in vFreshDistRenLL vc toRen (lvAvoid++(mAllVars pts)).
imports: SubstAux AlphaEqProps