wip: document the simp-all tactic in the simp guide - #848

wip: document the simp-all tactic in the simp guide#848

grunweg wants to merge 1 commit into

leanprover-community:lean4leanprover-community/leanprover-community.github.io:lean4from

grunweg:simp-docs-updategrunweg/leanprover-community.github.io:simp-docs-updateCopy head branch name to clipboard