Def Mathlib.Tactic.rewriteLocalDecl'

Modification history