P
Initializing...
The regulator of $\mathbb Q(\sqrt5)$ is $\log\frac{1+\sqrt5}{2}$ · Prove2Me