Skip to content

Reserve more notation in `integers.v`.

David Swasey requested to merge swasey/coq-stdpp:notation into master

Avoid duplicating details like at level 35.

This is a bit of a slippery slope. (I reserved just the notation that I overload elsewhere.)

Merge request reports