\( \definecolor{colordef}{RGB}{249,49,84} \definecolor{colorprop}{RGB}{18,102,241} \)
Given that the proposition "All students succeeded in the exam" is False, state the truth value of the proposition "At least one student did not succeed in the exam".