batteries icon indicating copy to clipboard operation
batteries copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

`simpNF` gives false positives when the LHS simplifies by a lower priority lemma

Open kim-em opened this issue 2 years ago • 0 comments

kim-em avatar Aug 06 '23 00:08 kim-em