Def Mathlib.Tactic.Translate.guessUnivReorder

Modification history

2026-07-02 11:53
Mathlib/Tactic/Translate/Reorder.lean
fix(Translate): fix universe reorder inference (#40493) …
Deleted Mathlib.Tactic.Translate.guessUnivReorderView on Github →
2026-05-04 11:17
Mathlib/Tactic/Translate/Reorder.lean
feat(Translate): reorder universes (#36604) …
Added Mathlib.Tactic.Translate.guessUnivReorderView on Github →