Theorem Mathlib.Tactic.FieldSimp.NF.mul_eq_eval₂

Modification history