Def Mathlib.Tactic.Conv.pathToStx

Modification history

2026-01-13 15:36

Mathlib/Tactic/Widget/Conv.lean

fix(Tactic/Widget/Conv): fix various issues (#25889) …

Added Mathlib.Tactic.Conv.pathToStx View on Github →