Theorem Mathlib.Tactic.FieldSimp.NF.cons_zero_eq_div_of_eq_div

Modification history