Def Mathlib.Tactic.Translate.Reorder.permuteUniv

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