Inductive Mathlib.Tactic.TermCongr.CongrType

Modification history