undefined | Better HN

0 pointssebzim45005mo ago0 comments

Right but there isn't a theorem saying `(sqrt x)^2 = x`, there's a theorem saying `x >= 0 -> (sqrt x)^2 = x`

0 comments

1 comments · 1 top-level

Ah, that makes sense. Thank you. As long as every use of sqrt has such a condition.

j / k navigate · click thread line to collapse