Theorem Mathlib.Tactic.FieldSimp.eq_mul_of_eq_eq_eq_mul

Modification history