fact: Definition mm_push_Zero := mm_transfert src tmp zero i ++ mm_mul2 tmp src zero (3+i).
imports: List Arith Lia Undecidability.Shared.Libs.DLW(utils list_bool pos vec subcode sss) Undecidability.MinskyMachines.MM(mm_defs)