2015-07-29 00:06:22 +00:00
|
|
|
import data.finset data.rat
|
|
|
|
|
|
|
|
|
|
print axioms nat.add
|
|
|
|
|
print "-----"
|
|
|
|
|
print axioms int.add
|
|
|
|
|
print "-----"
|
|
|
|
|
print axioms rat.add
|
|
|
|
|
print "-----"
|
|
|
|
|
print axioms finset.union
|
|
|
|
|
print "-----"
|
|
|
|
|
print axioms finset.mem
|
|
|
|
|
print "-----"
|
2016-01-02 20:51:20 +00:00
|
|
|
print axioms finset.union_comm
|
