fact: Variable (k : nat) (f : recalg k) (g : vec (recalg n) k) (Hf : ra_compiler_stm f) (Hg : forall q, ra_compiler_stm (vec_pos g q)).
imports: List Arith Lia Undecidability.Shared.Libs.DLW(utils finite pos vec subcode sss) Undecidability.MinskyMachines(env mme_defs mme_utils) Undecidability.MuRec.Util(recalg)