doc: move replace tactic next to have#852

frangio wants to merge 1 commit into

leanprover:mainleanprover/reference-manual:mainfrom

frangio:tactic-replacefrangio/reference-manual:tactic-replaceCopy head branch name to clipboard