Are there any other #crochet people out there who find it really hard to trust the pattern sometimes? #fiberarts

In about half an hour, UK #ISS pass, starting at 06:13:34, duration 54 secs, visible, Magnitude -1.3

Some passes of the #ISS visible from the UK overnight - I'll tweet/toot warnings closer to the time

Hmm. The MathJax didn't render, but the admins are onto it.

We apologise for the inconvenience.

Meanwhile, here it is without the markup ...

Consider this statement:

Suppose x in R is such that for all (s,t) in Q², |x-s|=|x-t| => s=t. Then x is irrational.

Is that a theorem, lemma, observation, or something else?

In about half an hour, UK #ISS pass, starting at 05:26:28, duration 61 secs, visible, Magnitude -1.2

Some passes of the #ISS visible from the UK overnight - I'll tweet/toot warnings closer to the time

Admin

Joined Apr 2017