Theorem Mathlib.Tactic.FieldSimp.eq_div_of_eq_one_of_subst'

Modification history