chore: remove @[simp] from BitVec.of_length_zero

leanprover / lean4

Lean 4 programming language and theorem prover

https://lean-lang.org

Apache License 2.0

3.82k stars 325 forks source link

Closed semorrison closed 2 weeks ago

leanprover-community-mathlib4-bot commented 2 weeks ago

Mathlib CI status (docs):

❗ Std/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 5c3f6363ccca9fd8e6a352147c8403ee2169bcff --onto 1630d9b803164bb522f4a40fbc8fbf104cca425e. (2024-04-30 23:21:39)