Theorem Padic.norm_rat_le_one

Modification history