Def Mathlib.Tactic.Translate.Reorder.range

Modification history

2026-03-06 00:15

Mathlib/Tactic/Translate/Reorder.lean

feat(to_dual): support recursively reordering arguments (#34863) …

Added Mathlib.Tactic.Translate.Reorder.range View on Github →