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