Def Lean.MVarId.cc

Modification history

2024-05-21 12:14
Mathlib/Tactic/CC.lean
feat: port `cc` tactic (3/3) (#5938) …
Added Lean.MVarId.ccView on Github →