Theorem Mathlib.Tactic.FieldSimp.NF.div_eq_eval₁

Modification history