Def Tactic.DeclCache.get

Modification history

2022-11-03 22:33
Mathlib/Tactic/Cache.lean
chore: update std4 11-03 (#535) …
Deleted Tactic.DeclCache.getView on Github →
2021-10-13 09:00
Mathlib/Tactic/Cache.lean
feat: librarySearch (#65) …
Added Tactic.DeclCache.getView on Github →