Theorem Rat.MulRingNorm.exists_pos_mulRingNorm_eq_pow_neg

Modification history