fact: Definition lt : relation (eqns * eqns) := transp (lex (transp nb_vars_lt) nb_vars_eq (transp sizes_lt)).
imports: Coq(Relations Wellfounded) CoLoR(ASubstitution ATerm EqUtil ListUtil LogicUtil VecUtil AVariables BoolUtil NatUtil SN AVariables Lexico)