Structure Mathlib.Tactic.CC.Entry

Modification history

2026-02-01 13:22
Mathlib/Tactic/CC/Datatypes.lean
chore: move `cc` to another repository (#34669) …
Deleted Mathlib.Tactic.CC.EntryView on Github →
2024-04-24 13:42
Mathlib/Tactic/CC/Datatypes.lean
feat: port `cc` tactic (1/3) (#11956) …
Added Mathlib.Tactic.CC.EntryView on Github →