add some number instances for Assoc, Comm, ...

Inspired by https://github.com/bedrocksystems/BRiCk/blob/614b303aa6370ecfcb354ec9715e65a5a5a28630/theories/prelude/numbers.v, but I didn't add all of their instances, there's so many of them... so I went for the key properties (assoc, comm, neutral and absorbing elements) of the core operations (add, sub, mul, div).

added 1 commit

• 6732c45e - add some number instances for Assoc, Comm, ...

Compare with previous version

added 2 commits

• f0fe1970 - 1 commit from branch master
• aa08b219 - add some number instances for Assoc, Comm, ...

Compare with previous version

changed the description

added 1 commit

• d6bdf3f4 - make instance names consistent with existing practice

Compare with previous version

added 1 commit

• 10f1c46e - Tweak proof.

Compare with previous version

resolved all threads

enabled an automatic merge when the pipeline for 10f1c46e succeeds

canceled the automatic merge

LGTM. I think it would make sense to add a CHANGELOG entry.

added 1 commit

• 229c71a4 - changelog

Compare with previous version

added 12 commits

• 229c71a4...53ec48be - 8 commits from branch master
• 9449422a - add some number instances for Assoc, Comm, ...
• f30bd95c - make instance names consistent with existing practice
• 632cd88a - Tweak proof.
• 40fd2049 - changelog

Compare with previous version

enabled an automatic merge when the pipeline for 40fd2049 succeeds

mentioned in commit b6d65dd9

merged