Def Mathlib.Tactic.TermCongr.elaboratePattern

Modification history