commit: fe834369e5c50a4e31215cf864a0b82c0a7bf1ca

[log]
author: Kim Morrison <kim@tqft.net>

Tue Jan 28 21:50:08 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Jan 28 21:50:44 2025 +1100
tree: 73264a8b2eaf63ef5c168714307284e9c3f3a5a1
parent: 20c616503abe5ce4253c56dbcd7766a91c675ba0 [diff]

chore: lower List/Array/Vector.mem_map simp priority

chore: lower List/Array/Vector.mem_map simp priority

3 files changed

tree: 73264a8b2eaf63ef5c168714307284e9c3f3a5a1

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).