Theorem Rat.MulRingNorm.equiv_on_nat_iff_equiv

Modification history