This is how I see it. Slight push in the back but nothing major, happens all the time unpunished. The way the defender flings his arms up in the air and sprawls himself out was a touch OTT, if it was the other way round the ref would've just been saying get up