In[]:=
ResourceFunction["TokenEventGraph"][{{u_,v_}:>Union[Values[coSubstitutionLemmas[u,v,"Uniquify"->True,"Canonicalize"->True]],Values[coSubstitutionLemmas[v,u,"Uniquify"->True,"Canonicalize"->True]]]},{a_<->b_∘a_},1,"TokenLabeling"->True,"TokenMultiplicity"->Automatic,"EventDeduplication"->True,AspectRatio->1/3]
Out[]=
In[]:=
TokenEventSubstitutionGraph[{a_<->b_∘a_},1,"TokenLabeling"->True]
Out[]=
ResourceFunction["TokenEventGraph"][{{u_,v_}:>Union[Values[substitutionLemmas[u,v,"Uniquify"->True,"Canonicalize"->True]],Values[coSubstitutionLemmas[v,u,"Uniquify"->True,"Canonicalize"->True]]]},{a_<->b_∘a_},1,"TokenLabeling"->True,"TokenMultiplicity"->Automatic,"EventDeduplication"->True,AspectRatio->1/3]