Theorem Mathlib.Tactic.CC.not_imp_eq_of_eq_false_right

Modification history

2024-04-24 13:42
Mathlib/Tactic/CC/Lemmas.lean
feat: port `cc` tactic (1/3) (#11956) …
Added Mathlib.Tactic.CC.not_imp_eq_of_eq_false_rightView on Github →