Theorem Padic.norm_natCast_lt_one_iff

Modification history