Def Mathlib.Tactic.Translate.findTranslationName?

Modification history

2026-02-02 23:54
Mathlib/Tactic/Translate/Core.lean
perf(Tactic/Translate): merge some environment extensions (#34685) …
Added Mathlib.Tactic.Translate.findTranslationName?View on Github →