Theorem PadicInt.norm_natCast_eq_one_iff

Modification history