Theorem Rat.MulRingNorm.eq_on_Nat_iff_eq_on_Int

Modification history