fact: Definition AvRenaming {G : CFGV} {vc : VarSym G} (lvA : list (vType vc)) (sw : Swapping vc) := no_repeats (ALRange sw) # disjoint (ALDom sw) (ALRange sw) # disjoint (ALRange sw) lvA .
imports: AlphaEqProps Omega