Theorem Rat.AbsoluteValue.eq_on_nat_iff_eq

Modification history