Def Mathlib.Tactic.Translate.Reorder.reverse

Modification history

2026-05-04 11:17
Mathlib/Tactic/Translate/Reorder.lean
feat(Translate): reorder universes (#36604) …
Modified Mathlib.Tactic.Translate.Reorder.reverseView on Github →
2026-03-06 00:15
Mathlib/Tactic/Translate/Reorder.lean
feat(to_dual): support recursively reordering arguments (#34863) …
Added Mathlib.Tactic.Translate.Reorder.reverseView on Github →