Which surah contains “laʿalla Allāha yuḥdithu baʿda dhālika amrā”?

Tamannī and Tarajjī: Definition, Particles, Rhetorical Uses and the Answer to a Wish