Theorem PadicComplex.valuation_p

Modification history