Theorem IsFractionRing.eq_zero_of_num_eq_zero

Modification history