Structure Mathlib.Tactic.Translate.Reorder

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 View on Github →