mathlib3
00d7da20 - docs(*): merge rewrite tactic tag into rewriting (#2512)

Commit

5 years ago

docs(*): merge rewrite tactic tag into rewriting (#2512) We had two overlapping tags in the docs. Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

References

Author

robertylewis

Parents