mathlib3

02b90ab4 - doc(tactic/monotonicity): bad ac_mono syntax doc (#8734)

doc(tactic/monotonicity): bad ac_mono syntax doc (#8734) The syntax `ac_mono h` was at some point changed to `ac_mono := h` but the documentation did not reflect the change.