Def Mathlib.Tactic.CC.CCM.hasHEqProofs

Modification history

2024-12-18 11:06
Mathlib/Tactic/CC/Addition.lean
chore(Mathlib/Tactic/CC/Addition): split a file (#19989)
Modified Mathlib.Tactic.CC.CCM.hasHEqProofsView on Github →
2024-05-15 13:09
Mathlib/Tactic/CC/Addition.lean
feat: port `cc` tactic (2/3) (#11960) …
Added Mathlib.Tactic.CC.CCM.hasHEqProofsView on Github →