Theorem Rat.MulRingNorm.eq_on_Nat_iff_eq

Modification history