Theorem Bool.not_inj

Modification history

2023-10-29 15:52

Mathlib/Data/Bool/Basic.lean

chore: update Mathlib for leanprover/std4#183 (#7982)

Deleted Bool.not_inj View on Github →

2023-07-03 13:20

Mathlib/Data/Bool/Basic.lean

fix: Data.Bool.Basic fix statement of `not_inj` (#5688) …

Modified Bool.not_inj View on Github →

2022-11-07 03:12

Mathlib/Data/Bool/Basic.lean

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

Added Bool.not_inj View on Github →