Def Mathlib.Tactic.evalNthRewriteSeq

Modification history

2022-12-03 00:16
Mathlib/Tactic/NthRewrite.lean
feat: port `nth_rewrite` (#823) …
Added Mathlib.Tactic.evalNthRewriteSeqView on Github →