doc: rewrite `apply?`, `exact?`, `rw?` and `by?` docstrings - #15008

Open

Vierkantor wants to merge 1 commit into

leanprover:masterfrom

Vierkantor:document-librarySearch-tactic

Commits on Sep 3, 2026

doc: rewrite `apply?`, `exact?`, `rw?` and `by?` docstrings
Vierkantor
committed
e6f8449