Theorem Mathlib.Tactic.FieldSimp.eq_eq_cancel_eq

Modification history