Theorem Padic.norm_intCast_eq_one_iff

Modification history