proposition: Lemma apps_app_cons t u n (us : Tes n) : apps (App t u) us = apps t (Vcons u us).
proof: Proof. refl. Qed.
imports: Coq(FSets Structures.OrderedType) CoLoR(LogicUtil BoolUtil VecUtil FSetUtil NatUtil RelUtil SN SetUtil)