Def Mathlib.Tactic.CC.ACApps.append

Modification history

2024-05-15 13:09

Mathlib/Tactic/CC/Datatypes.lean

feat: port `cc` tactic (2/3) (#11960) …

Modified Mathlib.Tactic.CC.ACApps.append View on Github →

2024-04-24 13:42

Mathlib/Tactic/CC/Datatypes.lean

feat: port `cc` tactic (1/3) (#11956) …

Added Mathlib.Tactic.CC.ACApps.append View on Github →