Def Mathlib.Tactic.Translate.getPermutation

Modification history

2026-07-02 11:53

Mathlib/Tactic/Translate/Reorder.lean

fix(Translate): fix universe reorder inference (#40493) …

Added Mathlib.Tactic.Translate.getPermutation View on Github →