Theorem Bool.eq_false_of_not_eq_true'

Modification history

2026-05-14 12:20
Mathlib/Data/Bool/Basic.lean
fix(Data/Bool/Basic): fix parentheses of `!a = b` (#38539) …
Modified Bool.eq_false_of_not_eq_true'View on Github →
2025-09-16 10:17
Mathlib/Data/Bool/Basic.lean
chore: grind annotations in Data/Bool (#29453)
Modified Bool.eq_false_of_not_eq_true'View on Github →
2022-11-07 03:12
Mathlib/Data/Bool/Basic.lean
feat: port data.bool.basic (#534) …
Added Bool.eq_false_of_not_eq_true'View on Github →