Documentation

Mathlib.Tactic.RewriteSearch

The rw_search tactic has been removed from Mathlib. #

source
🔸 coverage
def Mathlib.Tactic.RewriteSearch.tacticRw_search_ :
Lean.ParserDescr

rw_search has been removed from Mathlib.

Equations
    Instances For