commit: 8298b473b8082fc226f934356d5cc52537a9689f

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Thu May 16 10:56:25 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu May 16 12:18:01 2024 -0700
tree: f3a216e42ebc00c6daafb1d4e14e628d41b00a09
parent: e8c4540f87df17e4599fe054c8c90e2a725ae63b [diff]

chore: `shiftRight_shiftRight` signature

`w` at `shiftRight_shiftRight` should be an implicit argument as in `shiftLeft_shiftLeft`

src/Init/Data/BitVec/Lemmas.lean[diff]

1 file changed

tree: f3a216e42ebc00c6daafb1d4e14e628d41b00a09

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).