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.



leanprover-community/mathlib,leanprover-community/mathlib