Commit 886cf06d authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

add a missing variable

parent 06485b88
......@@ -134,7 +134,7 @@ theory Power
forall x:real. x > 0.0 -> pow(x,0.5) = sqrt(x)
axiom Pow_exp_log:
forall x:real. x > 0.0 -> pow(x,y) = exp(y*log(x))
forall x,y:real. x > 0.0 -> pow(x,y) = exp(y*log(x))
end
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment