mathlib

3b185739 - doc(tactic/rewrite_search/explain): Fix documentation-breaking docstring (#14107)

doc(tactic/rewrite_search/explain): Fix documentation-breaking docstring (#14107) This currently renders as