Theorem PadicComplex.nnnorm_extends

Modification history