x * yMultiply two $p$-adic numbers.
|
If one of the arguments is an ordinary number, it is first promoted to the appropriate $p$-adic field.
|
|
The source of this document is in Padic.m2:671:0.