Prove-It icon indicating copy to clipboard operation
Prove-It copied to clipboard

Decide upon number package axioms.

Open wwitzel opened this issue 6 years ago • 0 comments
trafficstars

What is a proper and elegant way to define the number sets and operations?

wwitzel avatar Sep 16 '19 13:09 wwitzel