3 ms·
Right but there isn't a theorem saying `(sqrt x)^2 = x`, there's a theorem saying `x >= 0 -> (sqrt x)^2 = x`
by sebzim4500 10mo ago
Right but there isn't a theorem saying `(sqrt x)^2 = x`, there's a theorem saying `x >= 0 -> (sqrt x)^2 = x`
- munchler 10mo agoAh, that makes sense. Thank you. As long as every use of sqrt has such a condition.