fact: Fixpoint alSSubstAux (l : list (Abstraction G vc)) (sub : SSubstitution vc) : list (Abstraction G vc) := match l with | [] => [] | a :: l => aSSubstAux a sub :: alSSubstAux l sub end.
imports: Term AssociationList Swap AlphaEqProps SubstAux