mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Check notation precedences

Open gebner opened this issue 3 years ago • 0 comments
trafficstars

The ∉ precedence was wrong: https://github.com/leanprover-community/mathlib3port/commit/d3886c253aee234456e6ee149c6a1bea9570c689#r67303397

Other notation probably have the wrong precedence as well.

gebner avatar Feb 23 '22 15:02 gebner