Theorem Mathlib.Tactic.FieldSimp.subst_add

Modification history