Theorem PadicAlgCl.isNonarchimedean

Modification history