Theorem Mathlib.Tactic.FieldSimp.NF.cons_eq_div_of_eq_div

Modification history