﴿ فَٱلْيَوْمَ ٱلَّذِينَ ءَامَنُوا۟ مِنَ ٱلْكُفَّارِ يَضْحَكُونَ ﴾

“But on the Day [of Judgment], they who had attained to faith will [be able to] laugh at the [erstwhile] deniers of the truth:”

(This day) which is the Day of Judgement (it is those who believe) in Muhammad (pbuh) and the Qur'an: i.e. 'Ali and his fellow believers (who have the laugh of disbelievers) who will laugh at the disbelievers,