Def Mathlib.Tactic.Translate.elabArgStx

Modification history

2026-03-06 00:15
Mathlib/Tactic/Translate/Core.lean
feat(to_dual): support recursively reordering arguments (#34863) …
Modified Mathlib.Tactic.Translate.elabArgStxView on Github →
2025-11-19 10:28
Mathlib/Tactic/Translate/Core.lean
feat(to_additive): allow referring to arguments by name (#31748) …
Added Mathlib.Tactic.Translate.elabArgStxView on Github →