log⁡p2⋅log⁡p(3+2)\log_p 2 \cdot \log_p(3+\sqrt2) is not a pp-adic linear form in logarithms

Contributed by Shawn Krisman

Source files

Download source .zip

Back to the main record