fact: Definition mma_push_Zero := TRANSFERTₐ src zero i ++ MULT_CSTₐ zero src 2 (3+i).
imports: List Arith Lia Undecidability.Shared.Libs.DLW(utils list_bool pos vec subcode sss) Undecidability.MinskyMachines.MMA(mma_defs mma_utils)