mathlib

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