Theorem Mathlib.Tactic.FieldSimp.NF.cons_eq_div_of_eq_div'

Modification history