mathlib3

doc(add_tactic_doc): slight improvement to docs

#2365

Merged