Mathlib Changelog
v4
Changelog
About
Github
Theorem
Mathlib.Tactic.CC.or_eq_of_eq_true_left
Modification history
2024-04-24 13:42
Mathlib/Tactic/CC/Lemmas.lean
feat: port `cc` tactic (1/3) (#11956) …
Added
Mathlib.Tactic.CC.or_eq_of_eq_true_left
View on Github →