Mathlib v3 is deprecated. Go to Mathlib v4

Def tactic.local_cache.internal.def_local.FNV_PRIME

Modification history

2019-04-02 11:22

src/tactic/local_cache.lean

feat(tactic/local_cache): add tactic-block-local caching mechanism (#837)

Added tactic.local_cache.internal.def_local.FNV_PRIME View on Github →