mathlib3

docs(tactic/monotonicity/interactive): fix `mono` documentation [ci-skip]

#642

Merged