lean icon indicating copy to clipboard operation
lean copied to clipboard
verified publisher icon leanprover-community

Mention `squeeze_simp` in the docstring of `simp`.

Open jcommelin opened this issue 5 years ago • 0 comments

jcommelin avatar Jun 11 '20 00:06 jcommelin