Def Mathlib.Tactic.TermCongr.CongrResult.heq

Modification history