Commit 2023-10-29 15:52 3a9b57c4

View on Github →

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

Estimated changes

Modified Mathlib/Analysis/BoxIntegral/Basic.lean

Modified Mathlib/Data/Bool/Basic.lean

deleted theorem Bool.and_comm

deleted theorem Bool.and_left_comm

deleted theorem Bool.and_not_self

deleted theorem Bool.and_or_distrib_left

deleted theorem Bool.and_or_distrib_right

deleted theorem Bool.and_xor_distrib_left

deleted theorem Bool.and_xor_distrib_right

deleted theorem Bool.false_le

deleted theorem Bool.le_true

deleted theorem Bool.max_eq_or

deleted theorem Bool.min_eq_and

deleted theorem Bool.not_and

deleted theorem Bool.not_and_self

deleted theorem Bool.not_inj

deleted theorem Bool.not_or

deleted theorem Bool.not_or_self

deleted theorem Bool.or_and_distrib_left

deleted theorem Bool.or_and_distrib_right

deleted theorem Bool.or_comm

deleted theorem Bool.or_left_comm

deleted theorem Bool.or_not_self

deleted theorem Bool.xor_assoc

deleted theorem Bool.xor_comm

deleted theorem Bool.xor_false_left

deleted theorem Bool.xor_false_right

deleted theorem Bool.xor_left_comm

deleted theorem Bool.xor_not_left

deleted theorem Bool.xor_not_not

deleted theorem Bool.xor_not_right

Modified Mathlib/Init/Data/Bool/Basic.lean

deleted def xor

Modified Mathlib/Init/Data/Bool/Lemmas.lean

deleted theorem Bool.true_xor

deleted theorem Bool.xor_self

deleted theorem Bool.xor_true

Modified Mathlib/Init/Data/Nat/Bitwise.lean

Modified Mathlib/Order/BoundedOrder.lean

Modified lake-manifest.json