Def Mathlib.Tactic.CC.CCState.mkUsingHsCore

Modification history

2024-05-21 12:14

Mathlib/Tactic/CC.lean

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

Added Mathlib.Tactic.CC.CCState.mkUsingHsCore View on Github →