Theorem Rat.MulRingNorm.eq_on_nat_iff_eq

Modification history