Def Mathlib.Tactic.CC.ACApps.intersection

Modification history

2024-05-15 13:09
Mathlib/Tactic/CC/Datatypes.lean
feat: port `cc` tactic (2/3) (#11960) …
Modified Mathlib.Tactic.CC.ACApps.intersectionView on Github →
2024-04-24 13:42
Mathlib/Tactic/CC/Datatypes.lean
feat: port `cc` tactic (1/3) (#11956) …
Added Mathlib.Tactic.CC.ACApps.intersectionView on Github →