fact: Definition EquiVariantRelUn {G : CFGV} {vc : VarSym G} {TA :Type} (swapA : TA -> Swapping vc -> TA) (R : TA -> [univ]) := forall (ta : TA), R ta -> forall (sw : Swapping vc), R (swapA ta sw).
imports: Term AssociationList