fact: Fixpoint subterm_lst_vec k (us : terms k) : list term := match us with | Vnil => nil | Vcons u1 us' => subterm_lst u1 ++ subterm_lst_vec us' end.
imports: CoLoR(AContext VecUtil ListUtil LogicUtil NatUtil RelUtil ASN)