Theorem Rat.AbsoluteValue.equiv_padic_of_bounded

Modification history