Closed johnynek closed 7 years ago
right now we are just testing ringlaws. There is a TODO.
Can this issue be closed? EuclideanRing is gone see 90bb95e5bdfdc3ddd2d0c8e312451335caf742b9
right now we are just testing ringlaws. There is a TODO.