P
Initializing...
A Liouville inequality at a finite place: a non-zero algebraic number of bounded size and denominator is not $v$-adically small · Prove2Me