Def Mathlib.Tactic.CC.CCState.checkEqc

Modification history