Def Mathlib.Tactic.ITauto.Context

Modification history

2025-04-25 13:55
Mathlib/Tactic/ITauto.lean
chore: use Std.TreeMap in itauto (#24365) …
Deleted Mathlib.Tactic.ITauto.ContextView on Github →
2024-06-12 18:41
Mathlib/Tactic/ITauto.lean
feat: port `itauto` from lean 3 (#9398) …
Added Mathlib.Tactic.ITauto.ContextView on Github →