Def Mathlib.Tactic.Translate.guessReorder

Modification history

2026-03-06 00:15
Mathlib/Tactic/Translate/Core.lean
feat(to_dual): support recursively reordering arguments (#34863) …
Deleted Mathlib.Tactic.Translate.guessReorderView on Github →
2026-02-02 23:54
Mathlib/Tactic/Translate/Core.lean
perf(Tactic/Translate): merge some environment extensions (#34685) …
Modified Mathlib.Tactic.Translate.guessReorderView on Github →
2025-11-25 01:06
Mathlib/Tactic/Translate/Core.lean
feat(translate): automatically infer the `(reorder := ...)` argument (#31902) …
Added Mathlib.Tactic.Translate.guessReorderView on Github →