Theorem Rat.AbsoluteValue.equiv_on_nat_iff_equiv

Modification history