Skip to content

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

Ralf Jung requested to merge ralf/numbers into master

Inspired by, 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).

Edited by Ralf Jung

Merge request reports