Theorem Mathlib.Tactic.FieldSimp.subst_sub

Modification history