Theorem Rat.AbsoluteValue.padic_eq_padicNorm

Modification history