Def Mathlib.Tactic.DeclCache.mk

Modification history

2023-11-02 13:03
Mathlib/Tactic/Cache.lean
chore: bump Std to Std#254 (#8106)
Deleted Mathlib.Tactic.DeclCache.mkView on Github →
2022-11-03 22:33
Mathlib/Tactic/Cache.lean
chore: update std4 11-03 (#535) …
Added Mathlib.Tactic.DeclCache.mkView on Github →