Def Mathlib.Tactic.CC.CCM.getEntry

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.getEntry View on Github →

2024-05-15 13:09

Mathlib/Tactic/CC/Addition.lean

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

Added Mathlib.Tactic.CC.CCM.getEntry View on Github →