Commit 2022-11-23 15:36 205a628e

View on Github →

docs(tactic/move_add): fix doc-strings and links (#17684) The main difference is to link the tactic doc for move_mul to the doc-string for move_mul instead of the one for move_add. Besides this, I made some changes to improve legibility of the documentation.

Estimated changes