mathlib3

65095fe1 - doc(order/succ_pred/basic): fix typo (#12501)