Theorem Rat.AbsoluteValue.not_real_equiv_padic

Modification history