Theorem PadicAlgCl.norm_extends

Modification history