so-un-bot/Ingegneria del Software/1122_20/wrong 2.txt

1 line
No EOL
60 B
Text

F(x, y, z) = if (x >= 0) then (z == pow(y, x)) else (z == 0)