Theorem PadicComplex.norm_extends

Modification history