Commit 2023-11-02 08:54 726dd08e

View on Github →

chore: bump Std to #329 (#8105) This bumps Std up to leanprover/std4#329. This is a replacement for #8005, which I'll now close.

Estimated changes

Modified Mathlib/Data/Bool/Basic.lean

Modified Mathlib/Data/Nat/Bitwise.lean

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

deleted theorem Bool.false_xor

deleted theorem Bool.xor_false

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

Modified lake-manifest.json