Theorem PadicComplex.valuation_extends

Modification history