mathlib3

9d49c4ad - doc(data/finset/fold): fix typo (#10239)