fact: Definition is_sol_solved_eqns s := lforall (is_sol_solved_eqn s).
imports: Coq(Relations Wellfounded) CoLoR(ASubstitution ATerm EqUtil ListUtil LogicUtil VecUtil AVariables BoolUtil NatUtil SN AVariables Lexico)