Mathlib Changelog
v4
Changelog
About
Github
Def
Mathlib.Tactic.CC.CCState.rootsCore
Modification history
2024-05-21 12:14
Mathlib/Tactic/CC.lean
feat: port `cc` tactic (3/3) (#5938) …
Added
Mathlib.Tactic.CC.CCState.rootsCore
View on Github →