Def Mathlib.Tactic.Translate.guessReorder

Modification history

2025-11-25 01:06

Mathlib/Tactic/Translate/Core.lean

feat(translate): automatically infer the `(reorder := ...)` argument (#31902) …

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