Question regarding mining competition:
In Mining PoW & Incentives, it is explained that miners compete with each other to get their completed block appended to the chain, and that their respective blocks do NOT have to contain the same transactions. M1, M2, and M3 are each competing and the winner’s block is added to the blockchain. HOWEVER, the losers blocks are deleted.
Is it safe to assume that those deleted transactions are still in the mempool, to be taken and confirmed again by another miner (or, possibly, the same miner), until that particular transaction makes it’s way into the blockchain?