lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard
verified publisher icon leanprover

feat: adjust `dsimp` behavior (experimental)

Open thorimur opened this issue 2 years ago • 1 comments

This is an experimental draft PR to assist with #2679 which exists solely to utilize CI.

thorimur avatar Nov 19 '23 02:11 thorimur

Thanks for your contribution! Please make sure to follow our Commit Convention.

github-actions[bot] avatar Nov 19 '23 02:11 github-actions[bot]