mathlib

ec8587f4 - chore(data/list/forall2): fix incorrect docstring (#14276)

chore(data/list/forall2): fix incorrect docstring (#14276) The previous docstring was false, this corrects the definition. Co-authored-by: Bhavik Mehta <bm489@cam.ac.uk>