News for hackers. Stuff that matters.

A comment on Formalising a new proof that the square root of two is irrational. Parent comment

Re:Formalising a new proof that the square root of two is ir... by thaumasiotes on Friday January 20, 2023 @02:46AM (#34450231)
All textbooks define it that way. There is no other definition available for that symbol.
[ Parent | on HN ]

There are no comments on this comment yet.