Skip to content
Snippets Groups Projects

Rename plus/minus → add/sub and put number lemmas in modules to be consistent with Coq stdlib

Merged Rename plus/minus → add/sub and put number lemmas in modules to be consistent with Coq stdlib
robbert/add_sub into master
Merged Robbert Krebbers requested to merge robbert/add_sub into master