Move q_set from real_sigmaTheory to the new real_of_ratTheory
#234
| Job | Run time |
|---|---|
| 1h 1m 19s | |
| 59m 29s | |
| 2h 0m 48s |
q_set from real_sigmaTheory to the new real_of_ratTheory
#234
| Job | Run time |
|---|---|
| 1h 1m 19s | |
| 59m 29s | |
| 2h 0m 48s |