Mathlib v3 is deprecated. Go to Mathlib v4

Theorem block_local.my_lemma_1

Modification history

2019-04-02 11:22
test/local_cache.lean
feat(tactic/local_cache): add tactic-block-local caching mechanism (#837)
Added block_local.my_lemma_1View on Github →