Def Lean.Meta.findCore

Modification history

2023-10-29 21:47
Mathlib/Tactic/PrintPrefix.lean
chore: bump std (#8008) …
Deleted Lean.Meta.findCoreView on Github →
2021-05-10 14:00
Mathlib/Tactic/PrintPrefix.lean
feat(Tactic/PrintPrefix): better error messages
Added Lean.Meta.findCoreView on Github →