Theorem PadicComplex.isNonarchimedean

Modification history