fact: Definition is_sol_eqn s (e : eqn) := sub s (fst e) = sub s (snd e).
imports: Coq(Relations Wellfounded) CoLoR(ASubstitution ATerm EqUtil ListUtil LogicUtil VecUtil AVariables BoolUtil NatUtil SN AVariables Lexico)