Def Mathlib.Tactic.TermCongr.mkCongrOfCHole?

Modification history