Def addRewriteSuggestion

Modification history

2024-01-30 01:07
Mathlib/Tactic/TryThis.lean
chore: bump Std to leanprover/std4#242 (#10104)
Deleted addRewriteSuggestionView on Github →
2023-08-08 18:01
Mathlib/Tactic/TryThis.lean
feat: Try this: for multiple rewrites (#6434) …
Modified addRewriteSuggestionView on Github →
2023-06-21 01:19
Mathlib/Tactic/TryThis.lean
feat: rewrites at location (#4157)
Modified addRewriteSuggestionView on Github →
2023-05-17 12:05
Mathlib/Tactic/TryThis.lean
chore: bump dependencies (#4012) …
Modified addRewriteSuggestionView on Github →
2023-05-10 05:52
Mathlib/Tactic/TryThis.lean
feat: `rewrites`, a tactic to suggest rewrites. (#3119) …
Added addRewriteSuggestionView on Github →