commit: 9b5fadd2759f4511f9fddb88009edf4b21c70aad

[log]
author: Kim Morrison <scott.morrison@gmail.com>

Wed Jan 29 10:50:33 2025 +1100
committer: GitHub <noreply@github.com>

Tue Jan 28 23:50:33 2025 +0000
tree: b8fbbcfa21d81df4883133379fa4995ecc07b156
parent: 7e8af0fc9d28069ef7c61fea47790f9c40917119 [diff]

chore: remove unnecessary simp priorities (#6812)

This PR remove simp priorities that are not needed. Some of these will
probably cause complaints from the `simpNF` linter downstream in
Batteries, which I will re-address separately.

5 files changed

tree: b8fbbcfa21d81df4883133379fa4995ecc07b156

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