Theorem Mathlib.Tactic.FieldSimp.eq_div_of_subst

Modification history