Def Mathlib.Tactic.rewriteTarget'

Modification history

2023-09-17 11:27

Mathlib/Tactic/NthRewrite.lean

chore: bump to v4.1.0-rc1 (2nd attempt) (#7216)

Deleted Mathlib.Tactic.rewriteTarget'View on Github →

2023-09-15 16:52

Mathlib/Tactic/NthRewrite.lean

Revert "chore: bump to v4.1.0-rc1 (#7174)" (#7198) …

Added Mathlib.Tactic.rewriteTarget'View on Github →

2023-09-15 12:48

Mathlib/Tactic/NthRewrite.lean

chore: bump to v4.1.0-rc1 (#7174) …

Deleted Mathlib.Tactic.rewriteTarget'View on Github →

2022-12-03 00:16

Mathlib/Tactic/NthRewrite.lean

feat: port `nth_rewrite` (#823) …

Added Mathlib.Tactic.rewriteTarget'View on Github →