Def Mathlib.Tactic.CC.ACEntry.ROccs

Modification history

2026-02-01 13:22
Mathlib/Tactic/CC/Datatypes.lean
chore: move `cc` to another repository (#34669) …
Deleted Mathlib.Tactic.CC.ACEntry.ROccsView on Github →
2025-04-07 01:19
Mathlib/Tactic/CC/Datatypes.lean
chore: `cc` uses `TreeMap` instead of `RBMap` (#23572)
Modified Mathlib.Tactic.CC.ACEntry.ROccsView on Github →
2024-04-24 13:42
Mathlib/Tactic/CC/Datatypes.lean
feat: port `cc` tactic (1/3) (#11956) …
Added Mathlib.Tactic.CC.ACEntry.ROccsView on Github →