`\sqrt((\sqrt(5)-3)^(2))-\sqrt(5*(-3)^(2))-4\sqrt(14-6\sqrt(5))`

By Isabelle

`\sqrt((\sqrt(5)-3)^(2))-\sqrt(5*(-3)^(2))-4\sqrt(14-6\sqrt(5))`




Viết một bình luận