2016-04-05 13:21:12+00:00 @dannytybrown @sxpmaths I feel like these are the kinds of facts you'd find in Euclid...