Inductive Mathlib.Tactic.Conv.Path

Modification history

2026-01-13 15:36
Mathlib/Tactic/Widget/Conv.lean
fix(Tactic/Widget/Conv): fix various issues (#25889) …
Added Mathlib.Tactic.Conv.PathView on Github →