|Maintainer||Benedikt Schmidt <email@example.com>|
Subsumption of terms and substitutions.
t2 with respect to the subsumption order modulo AC.
Returns True if
s2 are equal with respect to the subsumption order modulo AC.
canonical representations for substitutions
Returns a substitution that is equivalent modulo renaming to the given substitution.