Mathlib v3 is deprecated. Go to Mathlib v4

Theorem tactic.rewrite_search.testing.test_pp_1

Modification history

2021-01-06 11:04

test/rewrite_search/rewrite_search.lean

feat(tactic/rewrite_search): Automatically searching for chains of rewrites (#4841) …

Added tactic.rewrite_search.testing.test_pp_1 View on Github →