Theorem Bool.not_eq_iff

Modification history

2026-05-14 12:20

Mathlib/Data/Bool/Basic.lean

fix(Data/Bool/Basic): fix parentheses of `!a = b` (#38539) …

Modified Bool.not_eq_iff View on Github →

2022-11-07 03:12

Mathlib/Data/Bool/Basic.lean

feat: port data.bool.basic (#534) …

Added Bool.not_eq_iff View on Github →