injectivity lemmas

@[deprecated Bool.not_inj_iff]

theorem Bool.not_inj' {x : Bool} {y : Bool} : (!x) = !y ↔ x = y

Alias of Bool.not_inj_iff.

@[deprecated Bool.and_or_inj_right_iff]

theorem Bool.and_or_inj_right' {m : Bool} {x : Bool} {y : Bool} : (x && m) = (y && m) ∧ (x || m) = (y || m) ↔ x = y

Alias of Bool.and_or_inj_right_iff.

@[deprecated Bool.and_or_inj_left_iff]

theorem Bool.and_or_inj_left' {m : Bool} {x : Bool} {y : Bool} : (m && x) = (m && y) ∧ (m || x) = (m || y) ↔ x = y

Alias of Bool.and_or_inj_left_iff.