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

feat: change `(d)simp`'s default `zeta` value to `false`

Open ericrbg opened this issue 2 years ago • 0 comments

As requested to test in #2682.

ericrbg avatar Oct 27 '23 23:10 ericrbg