Theorem Rat.AbsoluteValue.equiv_real_or_padic

Modification history