# Library LangAlg.terms_graphs

Using the translation of terms into primed weak terms we can
reduce the axiomatic containment of 𝐓-terms to the ordering of
graphs.

Using the translation of terms into primed weak terms we can
reduce the axiomatic containment of 𝐓-terms to the ordering of
graphs.