commit: 9c9c073b3bc1659a8a09fe3b382e72eadfe0808e

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

Wed May 15 14:56:41 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed May 15 16:34:03 2024 -0700
tree: 9fbb57e224910d11965138c3c865c039d0f72df4
parent: f63616891fd3c9888ec1844f0744985bcb631a1e [diff]

fix: cleanup type annotations in congruence theorems

src/Lean/Meta/CongrTheorems.lean[diff]
tests/lean/run/congrThm2.lean[Added - diff]

2 files changed

tree: 9fbb57e224910d11965138c3c865c039d0f72df4

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