Prove-It
Prove-It copied to clipboard
Decide upon number package axioms.
trafficstars
What is a proper and elegant way to define the number sets and operations?