Theorem Rat.MulRingNorm.eq_on_nat_iff_eq_on_Int

Modification history