Oops. On 02/11/2019 17:25, Roger Bishop Jones wrote:
How about working in theory "ℚ"?
Great idea, apart from the fact that it doesn't exist!
Roger _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
